Automated Deduction CADE | Kaicus Deutschland

Automated Deduction CADE 27

85.09 EUR 10% Off 94.50 EUR

Marke: Springer

ISBN: 3030294358

Angebote
Merkmale

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

-10%

Gesponsert Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)

Medimops DE

85.09 EUR 94.50 EUR

18-09-2026 13:07:42

Access to the deal

-10%

Gesponsert Automated Deduction - CADE 27

Hugendubel

85.49 EUR 94.50 EUR

17-09-2026 13:14:38

Access to the deal

-9%

Gesponsert Automated Deduction - CADE 27, Fachbücher von Pascal Fontaine

Galaxus.de

85.59 EUR 94.50 EUR

17-09-2026 20:13:42

Access to the deal

Gesponsert Automated Deduction – CADE 27

SpringerLink DE

94.50 EUR 94.50 EUR

18-09-2026 18:11:18

Access to the deal

Automated Deduction CADE 27

Gesponsert Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)

Gesponsert Automated Deduction - CADE 27

Gesponsert Automated Deduction - CADE 27, Fachbücher von Pascal Fontaine

Gesponsert Automated Deduction – CADE 27

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Deduction CADE 27

Gesponsert Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)

Gesponsert Automated Deduction - CADE 27

Gesponsert Automated Deduction - CADE 27, Fachbücher von Pascal Fontaine

Gesponsert Automated Deduction – CADE 27

Ähnliche Produkte

Automated Deduction - CADE-25

Automated Deduction ¿ CADE-12

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science (3632), Band 3632)

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, ... Notes in Computer Science, 1249, Band 1249)