Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11. Черкашин, Евгений Александрович. Иркутск 1999. купить

Регистрация

Вход

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

	Автор: Черкашин, Евгений Александрович
	Книга ID: 243963 Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11 Тематика, ключевые слова: Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей. Сведения об издании: Иркутск 1999 155 с. Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]