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: Austria) 2002 : (4th International Workshop on Automated Deduction in Geometry Linz
3 träffar
|
Titel |
Författare |
År |
Språk |
1 |
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 |
2 |
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 |
3 |
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.