Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

類似資料

• Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
  出版事項: (2001)
• Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
  著者:: Chou, Shang-Ching, 1946-
  出版事項: (1994)
• Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers /
  出版事項: (2001)
• Contemporary Geometry and Related Topics : Proceedings of the Workshop Belgrade, Yugoslavia, 15-21 May 2002 /
  出版事項: (2004)
• Affine algebraic geometry : special session on affine algebraic geometry at the first joint AMS-RSME meeting, Seville, Spain, June 18-21, 2003 /
  出版事項: (2005)