Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Stéphane Demri/Deepak Kapur/Christoph Weidenbach"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Stéphane Demri/Deepak Kapur/Christoph Weidenbach" gefunden.

Katalogsuche

Cover von Automated Reasoning

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22,2014, Proceedings, Lecture Notes in Computer Science 8562 - Lecture Notes in Artificial Intelligence

Stéphane Demri/Deepak Kapur/Christoph Weidenbach

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden