Полное описание

Hummel, B. Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollst@:andiger Induktion : Diss. / B.Hummel. - Karlsruhe, 1991. - III,165 S. S. : Ill. - Текст : непосредственный.
Указ.:с.160-161
Перевод заглавия: Генерирование индукционных формул и обобщение при автоматическом доказательстве с полной индукцией.Дис.

ГРНТИ	УДК
28.23	004.855(043)

Рубрики:
Искусственный интеллект

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/16863)

Шифр в сводном ЭК: 7147f570e34c114a82e04a2b4ac3b3e4

Заказать издание
Заказ фрагмента документа ₽