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

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

Процедура поиска вывода, основанная на методе синтаксического дерева
1978
Захарьящев Михаил Викторович, Попов Сергей Викторович
2423
0
Контрольное перифразирование в системе поиска выводов
1985
Горская Ирина Викторовна, Колядова Ольга Андреевна, Попов Сергей Викторович
1165
0
Свойства логической энтропии
2005
Брошкова Н. Л., Попов Сергей Викторович
1325
0
О мощности контрмоделей интуиционистского исчисления
1980
Захарьящев Михаил Викторович, Попов Сергей Викторович
1134
0
Входные языки системы поиска выводов
1985
Горская Ирина Викторовна, Короткова Мария Александровна, Попов Сергей Викторович
1863
0
Транслятор системы поиска выводов
1985
Горская Ирина Викторовна, Короткова Мария Александровна, Попов Сергей Викторович
1392
0
Отдел теней и лавров : некоторые сочинения
2017
Попов Сергей Викторович
1377
0
Папоротник : Стихи
1992
Попов Сергей Викторович
1746
0
О локальности информационных систем
2005
Брошкова Н. Л., Попов Сергей Викторович
1265
0
Модель теплопереноса в ТВЭЛЭ с гетерогенными источниками тепла
2009
Гераскин И. Н., Гольцев А. О., Попов Сергей Викторович
1398
0
О проектировании информационных систем
2005
Брошкова Н. Л., Попов Сергей Викторович
936
0