Skip to contents

Wang, Dongming [Editor] ; International Workshop on Automated Deduction in Geometry 1996 Toulouse

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1360
Wu, Wen-Tsun [Author] ; Wu, Wenjun [Other]

Mechanical theorem proving in geometries : basic principles

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 1994

Published in: Texts and monographs in symbolic computation
Sturm, Thomas [Editor]; Zengler, Christoph [Other] ; ADG 7 2008 Schanghai

Automated deduction in geometry : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6301
Calmet, Jaques [Other]; Ida, Tetsuo [Other]; Wang, Dongming [Other]; Calmet, Jacques [Editor] ; AISC 8 2006 Peking

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4120: Lecture notes in artificial intelligence
Schreck, Pascal [Editor]; Narboux, Julien [Other]; Richter-Gebert, Jürgen [Other] ; ADG 8 2010 München

Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6877
Botana, Francisco [Editor]; Recio, Tomas [Other] ; ADG 6 2006 Pontevedra

Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4869
Hong, Hoon [Editor] ; ADG 5 2004 Gainesville, Fla

Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 3763
Winkler, Franz [Editor] ; ADG 4 2002 Hagenberg im Mühlkreis

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2930
Richter-Gebert, Jürgen [Editor] ; ADG 3 2000 Zürich

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2061
Gao, Xiaoshan [Other]; Gao, Xiao-Shan [Editor] ; ADG 2 1998 Peking

Automated deduction in geometry : second international workshop ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1669
Wang, Dongming [Author]

Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Published in: Lecture notes in computer science ; 1360
Schreck, Pascal [Author] ; Narboux, Julien [Other]; Richter-Gebert, Jürgen [Other]

Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6877
Botana, Francisco [Editor]; Quaresma, Pedro [Editor]

Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2015

Published in: Lecture notes in computer science ; 9201
Ida, Tetsuo [Author] ; Fleuriot, Jacques [Editor]

Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7993
Gao, Xiao-Shan [Author] ; Wang, Dongming [Other]; Yang, Lu [Other]

Automated Deduction in Geometry : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1669
Calmet, Jaques [Other]; Ida, Tetsuo [Other]; Wang, Dongming [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4120
Sturm, Thomas [Author] ; Zengler, Christoph [Other]

Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6301
Botana, Francisco [Other]; Recio, Tomás [Other] ; ADG 6 2006 Pontevedra

Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4869
Hong, Hoon [Other]; Wang, Dongming [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 3763
Winkler, Franz [Author]

Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 293000

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication