Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01

Bibliographic Details
Main Author:	Новосельцев, Виталий Борисович
Corporate Author:	Томский политехнический университет
Format:	Book
Language:	Russian
Published:	Томск [б. и.] 2006
Subjects:	диссертации информационные системы модальные логики знания дескриптивные логики знания управление знаниями системный анализ математическое моделирование знания структурирование знаний логико-математические языки модели знаний семантика предметной области теория иерархий отношения порядка автоэпистемическая логика интеллектуальные программные комплексы моделирование интеллектуальных процессов семантические сети синтез автоматических программ
Online Access:	Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-926493к
	Available Place a Hold

Similar Items