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

Карточка

Бурлуцкий, Владимир Владимирович.
Бурлуцкий, Владимир Владимирович.

Реализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01. - Томск, 2001. - 103 с.
Системный анализ, управление и обработка информации (по отраслям)
OD 61 02-1/796-5

Документ охраняется авторским правом. Полный текст доступен в РГБ и виртуальных читальных залах. Читать Электронный заказ

Marc21

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

Показать

Описание

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