Automated Deduction in Geometry
Ein Fachband aus dem zweiten internationalen Workshop ADG'98 in Peking, der sich mit automatisierter geometrischer Deduktion beschäftigt; erfasst aktuelle Forschungsergebnisse, neue Algorithmen und theoretische Erkenntnisse in kompakter Form.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, 1669, Band 1669)
Medimops DE
08-06-2026 15:50:03
SpringerLink DE Ähnliche Produkte
Automated Deduction in Geometry
53.49 EUR
Automated Deduction in Geometry
53.49 EUR
Automated Deduction in Geometry
52.76 EUR
