Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Peter Baumgartner/Reiner Hähnle/Joachim Posegga"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Peter Baumgartner/Reiner Hähnle/Joachim Posegga" gefunden.

Katalogsuche

Cover von Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St.Goar, Germany, May 7 - 10,1995.Proceedings, Lecture Notes in Computer Science 918 - Lecture Notes in Artificial Intelligence

Peter Baumgartner/Reiner Hähnle/Joachim Posegga

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.

Jetzt anmelden