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