Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Automated Deduction in Geometry

Automated Deduction in Geometry

- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

del av Lecture Notes in Computer Science-serien

del av Lecture Notes in Artificial Intelligence-serien

Automated Deduction in Geometry
Om Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319213613
  • Format:
  • Häftad
  • Sidor:
  • 181
  • Utgiven:
  • 27. juli 2015
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x10 mm.
  • Vikt:
  • 2993 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.

Användarnas betyg av Automated Deduction in Geometry



Andra köpte även...
Hitta liknande böcker
Boken Automated Deduction in Geometry finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.