Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

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

Карточка

Непейвода, Николай Николаевич.

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

Marc21

Показать

Описание

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