Непейвода, Николай Николаевич. - Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 / АН СССР. Сиб. отд-ние. ВЦ. - Новосибирск, 1988. - 37 с.
Карточка
Экспресс-заказ фрагмента
Непейвода, Николай Николаевич.
Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 / АН СССР. Сиб. отд-ние. ВЦ. - Новосибирск, 1988. - 37 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
Шифр хранения:
Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 / АН СССР. Сиб. отд-ние. ВЦ. - Новосибирск, 1988. - 37 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 88-8/758-8
FB 9 88-8/759-6
Описание
Автор | Непейвода, Николай Николаевич |
---|---|
Заглавие | Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 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 |