Automated Deduction in Geometry | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Deduction in Geometry
  • #
  • #

Automated Deduction in Geometry

53.49 EUR

Der Band aus dem internationalen Workshop „Automated Deduction in Geometry“ von September 2002 im Schloss Hagenberg bietet aktuelle Forschungsergebnisse und innovative Ansätze zur automatisierten Beweisführung in der Geometrie.

Teilen:

Ähnliche Produkte

Automated Deduction in Geometry

Automated Deduction in Geometry

53.49 EUR
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

46.98 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 in Geometry

Automated Deduction in Geometry

52.76 EUR
Automated Deduction in Geometry

Automated Deduction in Geometry

53.46 EUR
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