|
|
J. Siekmann and G. Smolka (1981): Selection Heuristics, Deletion Strategies and N--Level Terminatior Configurations for the Connection Graph Proof Procedure
| Title: |
Selection Heuristics, Deletion Strategies and N--Level Terminatior Configurations for the Connection Graph Proof Procedure |
| Author(s): |
J. Siekmann and G. Smolka |
| Year: |
1981 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--81 |
| Editor(s): |
Siekmann, Jörg H. |
| Number: |
47 |
| Pages: |
199-200 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
