Помощь     Корзина ( 0 ) Регистрация Вход
Изготовление электронных копий любых изданий
О Проекте Каталог Поиск
0

 Техника /  Техника и технические науки в целом /
 Техника /  Энергетика /

Автор: Непейвода, Николай Николаевич  
Книга ID: 1329

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


Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
Математическая логика, алгебра и теория чисел.
Сведения об издании:
Новосибирск 1988
37 с.
Язык:
rus
Цена не определена.
Для уточнения:
WhatsApp
или
[email protected]
Rambler's Top100