|
|
Pletat, Udo (1987): Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs
| Title: |
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs |
| Author(s): |
Pletat, Udo |
| Year: |
1987 |
| Booktitle: |
Frühjahrsschule für Künstliche Intelligenz KIFS--87 |
| Editor(s): |
Christaller, Thomas |
| Number: |
202 |
| Pages: |
42-64 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
