Automated deduction in geometry : 3rd International workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers / Jurgen Richter-Gebert ... <et al.> (eds.) |
Autore | International workshop ADG 2000 <3. ; 2000 ; Zurich, Switzerland> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | VIII, 323 p. : ill. ; 20 cm |
Disciplina | 006.3 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
Elaborazione elettronica - Modelli matematici - Congressi - 2000
Intelligenza artificiale - Congressi - 2000 |
ISBN | 3-540-42598-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000952890203316 |
International workshop ADG 2000 <3. ; 2000 ; Zurich, Switzerland> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Realization spaces of polytopes / Jurgen Richter-Gebert |
Autore | Richter-Gebert, Jurgen |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1996 |
Descrizione fisica | xi, 187 p. : ill. ; 24 cm. |
Disciplina | 516.23 |
Collana | Lecture notes in mathematics, 0075-8434 ; 1643 |
Soggetto topico | Polytopes |
ISBN | 3540620842 |
Classificazione | AMS 52B |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001288479707536 |
Richter-Gebert, Jurgen | ||
Berlin : Springer-Verlag, c1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The interactive geometry software cinderella / J. Richter-Gebert, U.H. Kortenkamp |
Autore | Richter-Gebert, Jurgen |
Pubbl/distr/stampa | Berlin, : Springer, 1999 |
Descrizione fisica | X, 143 p. : ill. ; 24 cm + CD-ROM. |
Altri autori (Persone) | Kortenkamp, Ulrich H. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050661 |
Richter-Gebert, Jurgen | ||
Berlin, : Springer, 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The interactive geometry software cinderella / J. Richter-Gebert, U. H. Kortenkamp |
Autore | Richter-Gebert, Jurgen |
Pubbl/distr/stampa | Berlin, : Springer, 1999 |
Descrizione fisica | X, 143 p. : ill. ; 24 cm + CD-ROM |
Altri autori (Persone) | Kortenkamp, Ulrich H. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0050661 |
Richter-Gebert, Jurgen | ||
Berlin, : Springer, 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|