Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности

dc.contributor	Казанский федеральный университет	ru_RU
dc.contributor.author	Красненкова, А. В.
dc.date.accessioned	2016-12-07T11:54:50Z
dc.date.available	2016-12-07T11:54:50Z
dc.date.issued	2011
dc.identifier.citation	Красненкова, А. В. Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности / А. В. Красненкова // Труды Математического центра имени Н. И. Лобачевского. - Казань, 2011. - Т. 44. - С. 181-183.	ru_RU
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/108379
dc.publisher	Издательство Казанского университета	ru_RU
dc.relation.ispartofseries	Труды Математического центра имени Н. И. Лобачевского
dc.title	Доказательство конечности алгоритма поиска вывода для натуральных систем негативной силлогистики и оценка его временной сложности	ru_RU
dc.type	Article	ru_RU
dc.description.pages	181-183	ru_RU
dc.relation.ispartofseries-volume	44