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