Normal view
MARC view
Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 Новосельцев Виталий Борисович ; Том. политехн. ун-т
Material type: TextPublication details: Томск [б. и.] 2006Description: 207 лSubject(s): диссертации | информационные системы | модальные логики знания | дескриптивные логики знания | управление знаниями | системный анализ | математическое моделирование | знания | структурирование знаний | логико-математические языки | модели знаний | семантика предметной области | теория иерархий | отношения порядка | автоэпистемическая логика | интеллектуальные программные комплексы | моделирование интеллектуальных процессов | семантические сети | синтез автоматических программItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-926493к (Browse shelf(Opens below)) | Available | 13820000542849 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: л. 184-207
There are no comments on this title.
Log in to your account to post a comment.