Biblioteksøk

Vis søkeskjema

5 treff

International Workshop on Automated Deduction in Geometry

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

International Workshop on Automated Deduction in Geometry
Bok Engelsk 2006

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

International Workshop on Automated Deduction in Geometry
Bok Engelsk 2004

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

International Workshop on Automated Deduction in Geometry
Bok Engelsk 1997

Automated deduction in geometry : second international workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings

International Workshop on Automated Deduction in Geometry
Bok Engelsk 1999

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

International Workshop on Automated Deduction in Geometry
Bok Engelsk 2001

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål