Automated Deduction in Geometry 1st Auflage

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1st Auflage verfasst von Xiaolu Gao; Dongming Wang; Lu Yang und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Automated Deduction in Geometry lauten 9783540479970, 354047997X und die Druck-ISBNs lauten 9783540666721, 3540666729. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1st Auflage verfasst von Xiaolu Gao; Dongming Wang; Lu Yang und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Automated Deduction in Geometry lauten 9783540479970, 354047997X und die Druck-ISBNs lauten 9783540666721, 3540666729. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.