Kazan Federal University Digital Repository
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности
JavaScript is disabled for your browser. Some features of this site may not work without it.
Files in this item
This item appears in the following Collection(s)
-
ТОМ 44. Лобачевские чтения - 2011 [111]
Материалы Десятой молодежной школы-конференции (Казань, 31 октября - 4 ноября 2011 г.)