Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Коробков В К


https://www.mathnet.ru/rus/person131063
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
1963
1. В. К. Коробков, “Оценка числа монотонных функций алгебры логики и сложности алгоритма отыскания разрешающего множества для произвольной монотонной функции алгебры логики”, Докл. АН СССР, 150:4 (1963),  744–747  mathnet  mathscinet  zmath 3
1962
2. В. К. Коробков, Т. Л. Резник, “О некоторых алгоритмах вычисления монотонных функций алгебры логики”, Докл. АН СССР, 147:5 (1962),  1022–1025  mathnet  mathscinet  zmath 3