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 |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (IX, 225 p. 68 illus., 22 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer graphics Mathematical logic Computer logic Computer science—Mathematics Convex geometry Discrete geometry Artificial Intelligence Computer Graphics Mathematical Logic and Formal Languages Logics and Meanings of Programs Discrete Mathematics in Computer Science Convex and Discrete Geometry |
ISBN | 3-642-21046-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465659303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The force of an idea : new essays on Christian Wolff's psychology / / Saulo de Freitas Araujo, Thiago Constâncio Ribeiro Pereira, Thomas Sturm, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (330 pages) |
Disciplina | 150.1 |
Collana | Studies in History and Philosophy of Science |
Soggetto topico |
Psychology and philosophy
Psychology - Germany - History - 18th century Psicologia |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-74435-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910495177703321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|