Name: Automated Deduction - CADE-25
Brand: Springer-Verlag GmbH
SKU: ID11896166
Availability: InStock

Automated Deduction - CADE-25

53.49 EUR 9% Off 59.00 EUR

Der CADE‑25-Buchband präsentiert Berliner Beiträge zur automatischen Deduktion, von Theorem‑Proving über Modellprüfung bis zu formalen Methoden, und bietet praxisnahe Fallstudien sowie theoretische Einblicke.

Marke: Springer-Verlag GmbH

ISBN: 3319214004

MPN: biography

SKU: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty

Galaxus.de

53.49 EUR 59.00 EUR

25-07-2026 21:09:14

Access to the deal

Gesponsert Automated Deduction - CADE-25

SpringerLink DE

59.00 EUR 59.00 EUR

26-07-2026 08:08:20

Access to the deal

Automated Deduction - CADE-25

Gesponsert Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty

Gesponsert Automated Deduction - CADE-25

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Deduction - CADE-25

Gesponsert Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty

Gesponsert Automated Deduction - CADE-25

Ähnliche Produkte

Automated Deduction ¿ CADE 26

Automated Deduction -- CADE-24

Automated Deduction CADE 27

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)