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

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

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

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

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

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