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