Непейвода, Николай Николаевич. - Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 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 |
