Bibel, W. (1982): Deduktionsverfahren


Title: Deduktionsverfahren
Author(s): Bibel, W.
Year: 1982
Booktitle: Frühjahrsschule für Künstliche Intelligenz KIFS--82
Editor(s): Wolfgang Bibel and Jörg H. Siekmann
Number: 59
Pages: 99-140
Publisher: Springer
Address: Berlin u.a.

Concepts