Publikationen

Zeige Ergebnisse 1 bis 8 von 8

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

Zur Publikation

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

Zur Publikation

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 Seiten 69-70 Springer 1992.

Zur Publikation

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 Seiten 23-33 Springer 1992.

Zur Publikation

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

Zur Publikation

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