Электронный архив
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности
JavaScript is disabled for your browser. Some features of this site may not work without it.
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
ТОМ 44. Лобачевские чтения - 2011 [111]
Материалы Десятой молодежной школы-конференции (Казань, 31 октября - 4 ноября 2011 г.)