Hummel B. Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollst@:andiger Induktion : Diss. / B.Hummel, 1991. - III,165 S. S. - Текст : непосредственный.
Приложение
для Android