Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Martin Giese/Arild Waaler"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Martin Giese/Arild Waaler" gefunden.

Katalogsuche

Cover von Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10,2009, Proceedings, Lecture Notes in Computer Science 5607 - Lecture Notes in Artificial Intelligence

Martin Giese/Arild Waaler

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden