Automated Deduction in Geometry
Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27,2000, Revised Papers, Lecture Notes in Computer Science 2061 - Lecture Notes in Artificial Intelligence
Jürgen Richter-Gebert/Dongming Wang
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 12.09.2001
Umfang: viii, 328 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540425984
Umbreit-Nr.: 1473427
