Normal view
MARC view
Реализация обратного метода установления выводимости для модальной логики КТ (Record no. 135544)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02092nam a2200421 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000137355 |
005 - Дата корректировки | |
Контрольное поле | 20210910115420.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 020514s2001 ru a f b 000 0 rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | 0141-14360 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
Правила каталог. | PSBO |
080 ## - Индекс УДК | |
Индекс УДК | 510.643(043.3) |
080 ## - Индекс УДК | |
Индекс УДК | 519.688:51(043.3) |
100 1# - Автор | |
Автор | Бурлуцкий, Владимир Владимирович. |
9 (RLIN) | 211148 |
245 10 - Заглавие | |
Заглавие | Реализация обратного метода установления выводимости для модальной логики КТ |
Продолж. заглавия | Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 |
Ответственность | Бурлуцкий В В. ; Науч. рук. Новосельцев В. Б. ; Томский гос. ун-т |
260 ## - Выходные данные | |
Место издания | Томск |
Издательство | б. и. |
Дата издания | 2001 |
300 ## - Физическое описание | |
Объем | 101 л. |
504 ## - Библиография | |
Библиография | Библиогр.: с. 93-101 |
653 ## - Ключевые слова | |
Ключевые слова | диссертации. |
653 ## - Ключевые слова | |
Ключевые слова | модальная логика. |
653 ## - Ключевые слова | |
Ключевые слова | Маслова метод. |
653 ## - Ключевые слова | |
Ключевые слова | обратный метод. |
653 ## - Ключевые слова | |
Ключевые слова | логические выводы. |
653 ## - Ключевые слова | |
Ключевые слова | семантика. |
653 ## - Ключевые слова | |
Ключевые слова | синтаксис. |
653 ## - Ключевые слова | |
Ключевые слова | мультимножества. |
653 ## - Ключевые слова | |
Ключевые слова | секвенция. |
653 ## - Ключевые слова | |
Ключевые слова | задачи поиска вывода. |
653 ## - Ключевые слова | |
Ключевые слова | алгоритмы поиска. |
653 ## - Ключевые слова | |
Ключевые слова | неклассические логики. |
653 ## - Ключевые слова | |
Ключевые слова | программы автоматического поиска доказательств. |
653 ## - Ключевые слова | |
Ключевые слова | логика знания. |
653 ## - Ключевые слова | |
Ключевые слова | базы знаний. |
700 1# - Другие авторы | |
Другие авторы | Новосельцев, Виталий Борисович. |
Роль лиц | науч. рук. |
Код отношения | ths |
9 (RLIN) | 64147 |
710 2# - Другие организации | |
Организация/юрисдикция | Томский государственный университет. |
9 (RLIN) | 53646 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 1-876968к |
Авторский знак | 510 |
Код страны | ru |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 135544 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 80.00 | 1-876968к 51 | 13820000352061 | 1 | Выдается в читальный зал |