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

出版社: Springer(2008-06-13)

ペーパーバック: 300 ページ / 15.5 x 1.7 x 23.5 cm

ISBN-10: 3540666729  ISBN-13: 9783540666721