Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
In diesem Band werden die neuesten Forschungsergebnisse zur automatisierten Beweisführung in der Geometrie aus dem ADG‑Workshop 2012 in Edinburgh z ...
Gesponsert
Medimops DE
46.98 EUR
Preis aktualisiert am: 04-05-2026 13:19:40
Gesponsert
SpringerLink DE
49.22 EUR
Preis aktualisiert am: 04-05-2026 13:22:36
Gesponsert
Galaxus.de
49.22 EUR
Preis aktualisiert am: 04-05-2026 02:30:52
Allgemein
Marke
Tetsuo Ida
ISBN
Tetsuo Ida 3642406718
MPN
Tetsuo Ida 55 black & white illustrations, biograph
