Г 55 Глушков, Виктор Михайлович. Машина доказывает [Текст] / В. М. Глушков. - М. : Знание, 1981. - 61, [2] с. - (Новое в жизни науке, технике. Серия "Математика, кибернетика" ; вып.12). - Рубрики: Математика--кибернетика Кл.слова (ненормированные): автоматизация доказательств Свободных экз. нет |