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

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

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

Marc21

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

Показать

Описание

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