Publikationen

Zeige Ergebnisse 1 bis 1 von 1

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

Zur Publikation

Jahr

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