|
Jörg Denzinger and Jürgen Müller (1989): EQTHEOPOGLES: A completion Theorem Prover for PLIEQ
Title: |
EQTHEOPOGLES: A completion Theorem Prover for PLIEQ |
Author(s): |
Jörg Denzinger and Jürgen Müller |
Year: |
1989 |
Booktitle: |
13th German Workshop on Artificial Intelligence GWAI--89 |
Editor(s): |
Metzing, D. |
Number: |
216 |
Pages: |
92-101 |
Publisher: |
Springer |
Address: |
Berlin u.a. |
Concepts
|
|