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: Томск б. и. 2001Description: 101 л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 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)
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-876965к Субъекты-получатели в праве социального обеспечения России Диссертация на соискание ученой степени кандидата юридических наук. 12.00.05 1-876966к Правоприменительная деятельность и досудебный порядок разрешения индивидуальных трудовых споров диссертация на соискание ученой степени кандидата юридичексих наук : 12.00.05 1-876967к 51 Технология "активный блок" для создания распределенных обучающих программных комплексов Диссертация на соискание ученой степени кандидата технических наук. 05.13.18 1-876968к 51 Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 1-876969к Почти изоморфные абелевы группы и аналог теоремы Кантора-Шредера-Бернштейна Диссертация на соискание ученой степени кандидата физико-математических наук. 01.01.06 1-876970к Проблема абсурда в прозе В. Маканина 1980-х начала 1990-х годов Диссертация на соискание ученой степени кандидата филологических наук. 10.01.01 1-876971к 53 Исследование течений вязкой жидкости в каналах сложной формы Диссертация на соискание ученой степени кандидата физико-математических наук. 01.02.05

Библиогр.: с. 93-101

There are no comments on this title.

to post a comment.