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.
Attention in Cognitive Systems [Risorsa elettronica] : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Lucas Paletta, John K. Tsotsos
| Attention in Cognitive Systems [Risorsa elettronica] : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Lucas Paletta, John K. Tsotsos |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642005824 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259490403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning [Risorsa elettronica] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek
| Automated Reasoning [Risorsa elettronica] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540710707 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009254440403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson
| Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson |
| Autore | Siekmann, Jörg |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1983 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-12043-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001061420403321 |
Siekmann, Jörg
|
||
| Berlin [etc.] : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson
| Automation of Reasoning / Edited by Jorg Siekmann and Graham Wrightson |
| Autore | Siekmann, Jörg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1983 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-12044-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001061430403321 |
|
Siekmann, Jörg
|
||
| Berlin [etc.], : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson
| Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson |
| Pubbl/distr/stampa | Berlin; Heidelberg ; New York : Springer, 1983 |
| Descrizione fisica | 2 v. : ill. ; 25 cm |
| Disciplina | 005.131 |
| Collana | Symbolic computation |
| Soggetto non controllato | Logica matematica |
| ISBN | 3-540-12044-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vol. 1.: Classical papers on computational logic 1957-1966 Vol. 2.: Classical papers on computational logic 1967-1970 |
| Record Nr. | UNINA-990000495700403321 |
| Berlin; Heidelberg ; New York : Springer, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computable Models of the Law [Risorsa elettronica] : Languages, Dialogues, Games, Ontologies / edited by Jaime G. Carbonell, Jörg Siekmann, Pompeu Casanovas, Giovanni Sartor, Núria Casellas, Rossella Rubino
| Computable Models of the Law [Risorsa elettronica] : Languages, Dialogues, Games, Ontologies / edited by Jaime G. Carbonell, Jörg Siekmann, Pompeu Casanovas, Giovanni Sartor, Núria Casellas, Rossella Rubino |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540855699 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009256590403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic in Multi-Agent Systems [Risorsa elettronica] : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh
| Computational Logic in Multi-Agent Systems [Risorsa elettronica] : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540888338 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258010403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Processing of the Portuguese Language [Risorsa elettronica] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma
| Computational Processing of the Portuguese Language [Risorsa elettronica] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540859802 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009256920403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Mathematics [Risorsa elettronica] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers / edited by Jaime G. Carbonell, J\"org Siekmann, Deepak Kapur
| Computer Mathematics [Risorsa elettronica] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers / edited by Jaime G. Carbonell, J\"org Siekmann, Deepak Kapur |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540878278 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257390403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [Risorsa elettronica] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Wenjie Li, Diego Mollá-Aliod
| Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [Risorsa elettronica] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Wenjie Li, Diego Mollá-Aliod |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642008313 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259710403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
