Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
KI 2006: Advances in Artificial Intelligence [Risorsa elettronica] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings / edited by Christian Freksa, Michael Kohlhase, Kerstin Schill
| KI 2006: Advances in Artificial Intelligence [Risorsa elettronica] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings / edited by Christian Freksa, Michael Kohlhase, Kerstin Schill |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540699125 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009247220403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Knowledge Management [Risorsa elettronica] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase
| Mathematical Knowledge Management [Risorsa elettronica] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540314318 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009247820403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
| OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
| Autore | Kohlhase, Michael |
| Pubbl/distr/stampa | Berlin : Springer, c2006 |
| Descrizione fisica | xix, 428 p. : ill. ; 24 cm |
| Collana |
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
| ISBN |
3540378979
9783540378976 |
| Classificazione |
CR I.2
CR F.4 CR F.3.1 CR G.4 CR H.3 CR I.1 CR I.7 AMS 68P LC QA76.95.K64 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002027709707536 |
Kohlhase, Michael
|
||
| Berlin : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [Risorsa elettronica] : Foreword by Allan Bundy / by Michael Kohlhase
| OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [Risorsa elettronica] : Foreword by Allan Bundy / by Michael Kohlhase |
| Autore | Kohlhase, Michael |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture notes in computer science, Lecture notes in artificial intelligence |
| ISBN | 9783540378983 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009250230403321 |
|
Kohlhase, Michael
|
||
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm. |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||