Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science, 4869, Band 4869)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science, 4869, Band 4869)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-08-2026 06:13:15
Siehe Produktangebot
Gesponsert
Automated Deduction in Geometry
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 10-08-2026 17:56:19
Siehe Produktangebot

Allgemein

Marke
Francisco Botana
ISBN
Francisco Botana 354077355X
MPN
Francisco Botana biography

Eigenschaften

Ähnliche Produkte

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Produkt anzeigen
Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
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
9th International Conference on Automated Deduction
9th International Conference on Automated Deduction
Produkt anzeigen
Automated Deduction
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Produkt anzeigen
Menü