Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Lecture Notes in Computer Science)
詳しい情報
出版社: Springer(2011-11-22)
ペーパーバック: 272 ページ / 15.5 x 1.6 x 23.5 cm
ISBN-10: 3642250696 ISBN-13: 9783642250699