Расцветаев, Александр Леонидович - Некоторые алгоритмические проблемы для пропозициональной программной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Экспресс-заказ фрагмента
Расцветаев, Александр Леонидович.
Некоторые алгоритмические проблемы для пропозициональной программной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / МГУ. - Москва, 1990. - 15 с.

Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 91-9/1456-5
FB 9 91-9/696-1

Marc21

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

Показать

Описание

Автор
ЗаглавиеНекоторые алгоритмические проблемы для пропозициональной программной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 26.03.1998
Каталоги Авторефераты диссертаций
Сведения об ответственностиМГУ
Выходные данныеМосква, 1990
Физическое описание15 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ127,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 91-9/1456-5
FB 9 91-9/696-1