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

Регистрация

Вход

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

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