Automated Deduction in Geometry : 7th International Workshop, ADG 2008, China, Revised Papers (Lecture Notes in Computer Science) 〈Vol. 6301〉
  • 洋書

Automated Deduction in Geometry : 7th International Workshop, ADG 2008, China, Revised Papers (Lecture Notes in Computer Science) 〈Vol. 6301〉  Paperback

Sturm, T. (EDT)/ Zengler, C. (EDT)

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • Springer(2011/06発売)
  • ポイント 126pt
  • 海外取次在庫