RUSIST
Единый реестр книг

Попов, Сергей Викторович (1946)

Процедура поиска вывода, основанная на методе синтаксического дерева
1978
Захарьящев Михаил Викторович, Попов Сергей Викторович
2429
0
Контрольное перифразирование в системе поиска выводов
1985
Горская Ирина Викторовна, Колядова Ольга Андреевна, Попов Сергей Викторович
1171
0
Свойства логической энтропии
2005
Брошкова Н. Л., Попов Сергей Викторович
1328
0
О мощности контрмоделей интуиционистского исчисления
1980
Захарьящев Михаил Викторович, Попов Сергей Викторович
1139
0
Входные языки системы поиска выводов
1985
Горская Ирина Викторовна, Короткова Мария Александровна, Попов Сергей Викторович
1869
0
Транслятор системы поиска выводов
1985
Горская Ирина Викторовна, Короткова Мария Александровна, Попов Сергей Викторович
1399
0
Отдел теней и лавров : некоторые сочинения
2017
Попов Сергей Викторович
1377
0
Папоротник : Стихи
1992
Попов Сергей Викторович
1749
0
О локальности информационных систем
2005
Брошкова Н. Л., Попов Сергей Викторович
1268
0
Модель теплопереноса в ТВЭЛЭ с гетерогенными источниками тепла
2009
Гераскин И. Н., Гольцев А. О., Попов Сергей Викторович
1406
0
О проектировании информационных систем
2005
Брошкова Н. Л., Попов Сергей Викторович
941
0