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