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

Регистрация

Вход

Изготовление электронных копий любых изданий

	Автор: Непейвода, Николай Николаевич
	Книга ID: 1329 Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 АН СССР. Сиб. отд-ние. ВЦ. Тематика, ключевые слова: Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей. Математическая логика, алгебра и теория чисел. Сведения об издании: Новосибирск 1988 37 с. Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]