Rolf Socher--Ambrosius (1988): Using Theory Resolution to Simplify Interpreted Formulae


Title: Using Theory Resolution to Simplify Interpreted Formulae
Author(s): Rolf Socher--Ambrosius
Year: 1988
Booktitle: German Workshop on Artificial Intelligence GWAI--88
Editor(s): W. Hoeppner
Number: 181
Pages: 179-185
Publisher: Springer
Address: Berlin u.a.

Concepts