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