Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, Band 1669)

Ein Fachband aus dem zweiten internationalen Workshop ADG'98 in Peking, der innovative Ansätze zur automatisierten geometrischen Deduktion beleuchtet ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, 1669, Band 1669)
Medimops DE
53.46 EUR
Preis aktualisiert am: 04-05-2026 13:12:23
Siehe Produktangebot
Gesponsert
Automated Deduction in Geometry
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 04-05-2026 13:20:22
Siehe Produktangebot

Allgemein

Marke
Lu Yang
ISBN
Lu Yang 3540666729

Eigenschaften

Ähnliche Produkte

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)
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)
Produkt anzeigen
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
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 in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science, 2930, Band 2930)
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science, 2930, Band 2930)
Produkt anzeigen
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science, 1360, Band 1360)
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science, 1360, Band 1360)
Produkt anzeigen
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Produkt anzeigen
Menü