Kazan Federal University Digital Repository
Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности
Login
русский
English
Home
→
Периодические и продолжающиеся издания КФУ
→
Труды математического центра имени Н. И. Лобачевского
→
ТОМ 44. Лобачевские чтения - 2011
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
This item appears in the following Collection(s)
ТОМ 44. Лобачевские чтения - 2011
[111]
Материалы Десятой молодежной школы-конференции (Казань, 31 октября - 4 ноября 2011 г.)
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of Kazan Federal University Digital Repository
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Statistics
View Usage Statistics