Рекомендованный список диссертаций по специальности «Логика», 09.00.07 шифр ВАК
Автоматический поиск натурального вывода в классической логике предикатов2004 год, кандидат философских наук Шангин, Василий Олегович
Онтологические и гносеологические основания математики в программе формализма2010 год, кандидат философских наук Алябьев, Дмитрий Иванович
Алгоритм поиска натурального вывода для интуиционистской логики высказываний2002 год, кандидат философских наук Макаров, Валентин Валентинович
Современные проблемы использования табличных методов в логике2005 год, доктор философских наук Антонова, Ольга Аркадьевна
Алгоритм поиска вывода для систем негативной силлогистики2009 год, кандидат философских наук Красненкова, Анастасия Владимировна