Автоматическое доказательство теорем и его математические модели Инна Павловна Калошина. Калошина, Инна Павловна. М. Б. и. 1996. купить

Регистрация

Вход

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

	Автор: Калошина, Инна Павловна
	Книга ID: 1562083 Автоматическое доказательство теорем и его математические модели Инна Павловна Калошина Тематика, ключевые слова: Теоремы - Доказательство на вычислительных машинах. Искусственный интеллект. Сведения об издании: М. Б. и. 1996 56 с. 22 см Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]