Коробков В К

Публикации в базе данных Math-Net.Ru

1. Оценка числа монотонных функций алгебры логики и сложности алгоритма отыскания разрешающего множества для произвольной монотонной функции алгебры логики
   
   Докл. АН СССР, 150:4 (1963),  744–747
2. О некоторых алгоритмах вычисления монотонных функций алгебры логики
   
   Докл. АН СССР, 147:5 (1962),  1022–1025