493247
Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : 09.00.07
2004, Москва
Логика. Диссертация Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : 09.00.07, Москва, 2004