Publications

Displaying results 1 to 8 of 8

In: Deduktionssysteme. Automatisierung des logischen Denkens.. Pages 112-125 Oldenbourg 1992.

To the publication

In: Deduktionssysteme. Automatiserung des logischen Denkens.. Pages 151-178 Oldenbourg 1992.

To the publication

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI) 92 3 Pages 69-70 Springer 1992.

To the publication

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI) 92 3 Pages 23-33 Springer 1992.

To the publication

In: Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag 1992.

To the publication

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