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: 04-05-2026 13:21:52
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Automated Deduction
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
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)
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)
Produkt anzeigen
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Produkt anzeigen
Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
Produkt anzeigen
Menü