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
Ein Fachband zum Workshop „Automated Deduction in Geometry“, der im Juli 2014 in Coimbra stattfand, bietet überarbeitete Auswahlarbeiten zu formalen Beweissystemen und algorithmischer Geometrie.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
08-06-2026 15:22:10
SpringerLink DE
Gesponsert
Galaxus.de
Automated Deduction in Geometry, Fachbücher von Pedro Quaresma, Francisco Botana
Galaxus.de
08-06-2026 08:24:48
Ähnliche Produkte
Automated Deduction in Geometry
53.49 EUR
Automated Deduction in Geometry
52.76 EUR
Automated Deduction in Geometry
53.46 EUR
