Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 Новосельцев Виталий Борисович ; Том. политехн. ун-т

By: Новосельцев, Виталий БорисовичContributor(s): Томский политехнический университетMaterial type: TextTextPublication details: Томск [б. и.] 2006Description: 207 лSubject(s): диссертации | информационные системы | модальные логики знания | дескриптивные логики знания | управление знаниями | системный анализ | математическое моделирование | знания | структурирование знаний | логико-математические языки | модели знаний | семантика предметной области | теория иерархий | отношения порядка | автоэпистемическая логика | интеллектуальные программные комплексы | моделирование интеллектуальных процессов | семантические сети | синтез автоматических программ
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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)
No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available
1-926490к Параметрическое исследование решений и построение алгоритмов и программ расчета некоторых обобщенных задач о распаде произвольного разрыва диссертация на соискание ученой степени кандидата физико-математических наук : 01.02.05 1-926491к Внутренний трудовой распорядок организации (правовые вопросы) диссертация на соискание ученой степени кандидата юридических наук : 12.00.05 1-926492к Защита профсоюзами социально-трудовых прав работников в условиях рыночной экономики диссертация на соискание ученой степени кандидата юридических наук : 12.00.05 1-926493к Формальная теория структурных моделей описания информационных систем и методы установления выводимости диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01 1-926494к Формирование и развитие финансового механизма управления имущественным комплексом крупных корпоративных образований диссертация на соискание ученой степени доктора экономических наук : 08.00.05 ; 08.00.10 (Т. 1) 1-926495к Формирование и развитие финансового механизма управления имущественным комплексом крупных корпоративных образований диссертация на соискание ученой степени доктора экономических наук : 08.00.05 ; 08.00.10 : [приложения] (Т. 2) 1-926496к Уголовно-правовая характеристика нарушения неприкосновенности частной жизни диссертация на соискание ученой степени кандидата юридических наук : 12.00.08

Библиогр.: л. 184-207

There are no comments on this title.

to post a comment.