Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Workshop on Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 17 träffar

Titel Författare År Språk
1 Automated Deduction in Geometry electronic resource : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers / edited by Thomas Sturm, Christoph Zengler China) 2008 : (7th International Workshop on Automated Deduction in Geometry Shanghai uuuu-uuuu Okänt
2 Automated Deduction in Geometry electronic resource : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / edited by Jürgen Richter-Gebert, Dongming Wang Switzerland) 2000 : (3rd International Workshop on Automated Deduction in Geometry Zurich uuuu-uuuu Okänt
3 Automated Deduction in Geometry electronic resource : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers / edited by Dongming Wang International Workshop on Automated Deduction in Geometry uuuu-uuuu Okänt
4 Automated Deduction in Geometry electronic resource : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / edited by Franz Winkler Austria) 2002 : (4th International Workshop on Automated Deduction in Geometry Linz uuuu-uuuu Okänt
5 Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors International Workshop on Automated Deduction in Geometry uuuu-uuuu Okänt
6 Automated Deduction in Geometry electronic resource : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert Germany) 2010 : (8th International Workshop on Automated Deduction in Geometry Munich uuuu-uuuu Okänt
7 Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / edited by Franz Winkler Austria) 2002 : (4th International Workshop on Automated Deduction in Geometry Linz uuuu-uuuu Okänt
8 Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / Hoon Hong, Dongming Wang (eds.) Fla.) 2004 : (5th International Workshop on Automated Deduction in Geometry Gainesville uuuu-uuuu Okänt
9-10 Automated deduction in geometry. - Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings (flera utgåvor) International Workshop on Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 1999 Engelska
11 Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 1997 Engelska
12 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 1996) (Toulouse : cop. 1998 Engelska
13-14 Automated deduction in geometry - third international workshop : revised papers (flera utgåvor) International Workshop on Automated Deduction in Geometry 2000 : Zürich) cop. 2001 Engelska
15-16 Automated deduction in geometry - second international workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings (flera utgåvor) International Workshop on Automated Deduction in Geometry 1998) Beijing : cop. 1999 Engelska
17 Automated deduction in geometry. - 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers Austria) International Workshop on Automated Deduction in Geometry 2002 : Linz c2004 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.