Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

53.49 EUR

Teilen:
Gesponsert

Automated Deduction in Geometry

SpringerLink DE
53.49 EUR
08-06-2026 11:20:25

Ähnliche Produkte

Automated Deduction

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

52.94 EUR
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)

42.80 EUR
Automated Deduction ' CADE 28

Automated Deduction ' CADE 28

42.79 EUR
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

48.98 EUR
Automated Deduction CADE 29

Automated Deduction CADE 29

39.98 EUR
Automated Deduction -

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

53.49 EUR