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

Экспресс-заказ фрагмента
Непейвода, Николай Николаевич.
Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 / АН СССР. Сиб. отд-ние. ВЦ. - Новосибирск, 1988. - 37 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 88-8/758-8
FB 9 88-8/759-6

Marc21

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

Показать

Описание

Автор
ЗаглавиеАнализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 25.10.1988
Каталоги Авторефераты диссертаций
Сведения об ответственностиАН СССР. Сиб. отд-ние. ВЦ.
Выходные данныеНовосибирск, 1988
Физическое описание37 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
BBK-кодЗ973.2-018,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 88-8/758-8
FB 9 88-8/759-6