Publications

Displaying results 11 to 16 of 16

In: Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114 Oldenbourg-Verlag 1987.

To the publication

In: Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on Rewriting Techniques and Applications (RTA-2) 2nd May 25-27 Bordeaux France Pages 204-215 Lecture Notes in Computer Science (LNCS) 256 Springer 1987.

To the publication

In: Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172 Oldenbourg Verlag 1987.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz