Публикации в базе данных Math-Net.Ru
-
Об алгоритмизации знаний
Интеллектуальные системы. Теория и приложения, 25:4 (2021), 193–204
-
Доклады семинара «Теория автоматов»
Интеллектуальные системы. Теория и приложения, 22:4 (2018), 137–142
-
Исследование логических процессов путем компьютерного моделирования
Интеллектуальные системы. Теория и приложения, 20:3 (2016), 164–168
-
О синтезе минимальных источников
Дискрет. матем., 8:4 (1996), 37–43
-
Компьютерный решатель математических задач
Докл. РАН, 335:4 (1994), 427–429
-
Система автоматического решения задач по элементарной алгебре
Дискрет. матем., 6:4 (1994), 35–57
-
Об организации баз знаний, ориентированных на автоматическое решение задач
Дискрет. матем., 3:3 (1991), 13–30
-
О решении систем автоматных уравнений
Дискрет. матем., 2:1 (1990), 94–103
-
Об основных направлениях в теории однородных структур
Дискрет. матем., 1:3 (1989), 19–38
-
О времени существования конфигураций в однородных структурах
Ж. вычисл. матем. и матем. физ., 15:3 (1975), 737–748
© , 2024