Бурлуцкий, Владимир Владимирович. - Реализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01. - Томск, 2001. - 103 с.

Экспресс-заказ фрагмента
Бурлуцкий, Владимир Владимирович.
Бурлуцкий, Владимир Владимирович.
Реализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01. - Томск, 2001. - 103 с.

Системный анализ, управление и обработка информации (по отраслям)
Шифр хранения:
OD 61 02-1/796

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеРеализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01
Коллекции ЭК РГБ Каталог диссертаций
Коллекции ЭБ РГБ Диссертации
Дата поступления в ЭК РГБ 26.03.2002
Дата поступления в ЭБ РГБ 19.10.2010
Каталоги Диссертации
Выходные данныеТомск, 2001
Физическое описание103 с.
ТемаСистемный анализ, управление и обработка информации (по отраслям)
Специальность05.13.01: Системный анализ, управление и обработка информации (по отраслям)
ЯзыкРусский
Места храненияOD 61 02-1/796
Электронный адрес Электронный ресурс