Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "André Platzer/Geoff Sutcliffe"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "André Platzer/Geoff Sutcliffe" gefunden.

Katalogsuche

Cover von Automated Deduction - CADE 28

Automated Deduction - CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12-15,2021, Proceedings, Lecture Notes in Computer Science 12699 - Lecture Notes in Artificial Intelligence

André Platzer/Geoff Sutcliffe

Springer Verlag GmbH

42,79 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden