Публикации в базе данных Math-Net.Ru
-
Алгоритмы дедукции для некоторых расширений интервальной логики Аллена
Искусственный интеллект и принятие решений, 2016, № 1, 75–88
-
Быстрый алгоритм распознавания следствий для монадических логических программ
Автомат. и телемех., 2001, № 10, 91–102
-
О больших интервалах случайной булевой функции
Докл. АН СССР, 182:1 (1968), 49–52
-
Оценки среднего времени вычисления на одномерных односторонних итеративных системах
Докл. АН СССР, 171:3 (1966), 537–540
-
К проблеме минимальной раскраски вершин графа
Сиб. матем. журн., 6:1 (1965), 234–236
© , 2024