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

Экспресс-заказ фрагмента
Непейвода, Николай Николаевич.
Анализ и методы доказательного программирования в конструктивных логиках : диссертация ... доктора физико-математических наук : 05.13.11;01.01.06 / АН СССР. Сиб. отд-ние. ВЦ. - Ижевск, 1988. - 320 с. + Прил. (с. 321-466).

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
Шифр хранения:
OD 71 90-1/12

Marc21

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

Показать

Описание

Автор
ЗаглавиеАнализ и методы доказательного программирования в конструктивных логиках : диссертация ... доктора физико-математических наук : 05.13.11;01.01.06
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЭК 25.10.1988
Каталоги Диссертации
Сведения об ответственностиАН СССР. Сиб. отд-ние. ВЦ.
Выходные данныеИжевск, 1988
Физическое описание320 с. + Прил. (с. 321-466)
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
BBK-кодЗ973.2-018,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 71 90-1/12