|
Wahlther, Christoph (1986): Automatisches Beweisen
Title: |
Automatisches Beweisen |
Author(s): |
Wahlther, Christoph |
Year: |
1986 |
Booktitle: |
Frühjahrsschule für Künstliche Intelligenz KIFS--85/86 |
Editor(s): |
Th. Christaller and H.--W. Hein and M. M. Richter |
Volume: |
159 |
Pages: |
292-340 |
Publisher: |
Springer |
Address: |
Berlin u.a. |
Concepts
|
|