Publikationen

Zeige Ergebnisse 11 bis 16 von 16

Universität Kaiserslautern SEKI Reports SR-87-15 1987.

Zur Publikation

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 Seiten 204-215 Lecture Notes in Computer Science (LNCS) 256 Springer 1987.

Zur Publikation

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

Zur Publikation

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