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