|
|
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
|
|
