|
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
|
|