Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion : Diss. /
| Основен автор: | Hummel, Birgit |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Karlsruhe :
Universität Karlsruhe,
1990.
|
| Налични ИМИ | Сигнатура: |
1424CIX |
|---|