Treffliste - International Workshop on Automated Deduction in Geometry - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

4 treff

Sortering

Forsidebilde

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
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3763)
Bok Engelsk c2006

Forsidebilde

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
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2930)
Bok Engelsk c2004

Forsidebilde

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

International Workshop on Automated Deduction in Geometry
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1669)
Bok Engelsk c1999

Forsidebilde

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

International Workshop on Automated Deduction in Geometry
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2061)
Bok Engelsk c2001

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk