Biblioteksøk

Vis søkeskjema

8 treff

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings

AISC 2006
Bok Engelsk 2006

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 : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

International Workshop on Automated Deduction in Geometry
Bok Engelsk 2001

Elimination methods

Wang, Dongming
Bok Engelsk 2001

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 : 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 practical reasoning : algebraic approaches

Jochen Pfalzgraf and Dongming Wang (eds.)...
Bok Engelsk 1995

Song Yuan Ming Qing bai bu xiaoshuo yuci da cidian

Wu Shixun, Wang Dongming zhu bian
Bok Kinesisk 1992

Velg språk

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