Výsledky hledání pro autora

Obálka

Automated deduction in geometry : international workshop on automated deduction in geometry, Toulouse, France, September 27-29, 1996. Selected papers

Vydáno: 1997

Kniha

Obálka

Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Vydáno: 2006

Plný text

E-kniha

Obálka

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

Vydáno: 2006

Plný text

Kniha

Obálka

Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

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

Vydáno: 2001

Kniha

Obálka

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

Vydáno: 2006

Plný text

Kniha

Obálka

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

Vydáno: 1999

Kniha