|
Книга ID: 1563295
Экспериментальная система для решения задач М. А. Короткова, Н. А. Наумов, А. Н. Одрова
Тематика, ключевые слова:
Теоремы - Доказательство на вычислительных машинах. Интеллектуальные системы.
Сведения об издании:
М. ИПМ 1995 18 с. 20 см
Язык:
rus
|
|