Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Entdecken Sie die neuesten Ansätze der automatisierten Geometrie-Deduktion, zusammengefasst im ADG‑Workshop‑Band von Edinburgh 2012; ein wertvolles Nachschlagewerk für Mathematiker und Informatiker.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
08-06-2026 16:00:12
SpringerLink DE
Gesponsert
Galaxus.de
Automated Deduction in Geometry, Fachbücher von Jacques Fleuriot, Tetsuo Ida
Galaxus.de
08-06-2026 08:24:36
Ähnliche Produkte
Automated Deduction in Geometry
53.49 EUR
Automated Deduction in Geometry
53.49 EUR
Automated Deduction in Geometry
52.76 EUR
Automated Deduction in Geometry
53.46 EUR
