Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов
Кол-во страниц:
109
ВУЗ:
Москва
Год защиты:
2004
Краткое описание:
Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 109 c. РГБ ОД, 61:05-9/168