Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science (1669), Band 1669)

Proceedings

von: Lu Yang · Dongming Wang · Xiao-Shan Gao

Taschenbuch

ISBN: 978-3-540-66672-1

ISBN-10: 3-540-66672-9

Springer · 2008