|
|
Elsa L. Gunter (1991): Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover
| Title: |
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover |
| Author(s): |
Elsa L. Gunter |
| Year: |
1991 |
| Booktitle: |
Extensions of Logic Programming |
| Editor(s): |
P. Schroeder--Heister |
| Number: |
475 |
| Pages: |
223-244 |
| Publisher: |
Springer |
| Address: |
Berlin |
Concepts
|
|
