Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

Automated Deduction in Geometry
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Deduction in Geometry
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 23:59:46
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3642250696
MPN
Springer-Verlag GmbH biography

Eigenschaften

Ähnliche Produkte

Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
Aus39.98 EUR 4
Produkt anzeigen
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Aus42.79 EUR 4
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Aus52.94 EUR 4
Produkt anzeigen
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Aus42.80 EUR 4
Produkt anzeigen
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Aus54.99 EUR 1
Produkt anzeigen
Menü