Automated-Deduction-in-Geometry-Second-International-Workshop-ADG98-Beijing-China-August-1-3-1998-Proceedings-Lecture-Notes-in-Computer-Science-Band-1669 74,89 EUR*

Details

  • Kategorie: Diverse Bücher
  • Preis: 74,89 EUR*
  • Lieferzeit: Versandfertig in 3 - 4 Werktagen
  • EAN: 9783540666721
  • Händler: Amazon.de
    Amazon.de
Zum Angebot Automated Deduction in Geometry The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane ...