Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
Main Author: | Новосельцев, Виталий Борисович |
---|---|
Corporate Author: | Томский политехнический университет |
Format: | Book |
Language: | Russian |
Published: |
Томск
[б. и.]
2006
|
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Управление знаниями учебное пособие
by: Ефимов, Владимир Васильевич доктор технических наук
Published: (2005) -
Институционализация управления знаниями в организациях высшего образования
by: Голов, Владимир Александрович -
Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01
by: Бурлуцкий, Владимир Владимирович
Published: (2001) -
Достоверный и правдоподобный вывод в интеллектуальных системах
Published: (2004) -
Интеллектуальные информационные системы [учебник для вузов по специальности "Информационные системы в технике и технологиях" направления подготовки дипломированных специалистов "Информационные системы"]
by: Гаскаров, Диляур Вагизович
Published: (2003)