top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Jacques Calmet, Jan Plaza
Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Jacques Calmet, Jan Plaza
Creatore [Calmet, Jacques]
Accesso persona Plaza, Jan.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithms
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
ISBN 9783540649601
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355868
[Calmet, Jacques]  
Software
Lo trovi qui: University of Chicago
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Jim Grundy, Malcolm Newey
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Jim Grundy, Malcolm Newey
Creatore [Grundy, Jim.]
Accesso persona Newey, Malcolm
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
ISBN 9783540649878
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355870
[Grundy, Jim.]  
Software
Lo trovi qui: University of Chicago
KI-98: Advances in Artificial Intelligence [electronic resource] : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings / by Otthein Herzog, Andreas Günter
KI-98: Advances in Artificial Intelligence [electronic resource] : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings / by Otthein Herzog, Andreas Günter
Creatore [Herzog, O. (Otthein)]
Accesso persona Günter, A. (Andreas)
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Health Informatics
ISBN 9783540650805
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355882
[Herzog, O. (Otthein)]  
Software
Lo trovi qui: University of Chicago
Flexible Query Answering Systems [electronic resource] : Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings / by Troels Andreasen, Henning Christiansen, Henrik L. Larsen
Flexible Query Answering Systems [electronic resource] : Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings / by Troels Andreasen, Henning Christiansen, Henrik L. Larsen
Creatore [Andreasen, Troels]
Accesso persona Christiansen, Henning
Larsen, Henrik L.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
Multimedia Information Systems
ISBN 9783540650829
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355883
[Andreasen, Troels]  
Software
Lo trovi qui: University of Chicago
Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / by Peter Eklund
Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / by Peter Eklund
Creatore [Eklund, Peter]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Discrete Mathematics in Computer Science
Information Storage and Retrieval
Mathematical Logic and Formal Languages
Order, Lattices, Ordered Algebraic Structures
Software Engineering
ISBN 9783540210436
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354224
[Eklund, Peter]  
Software
Lo trovi qui: University of Chicago
Model Generation for Natural Language Interpretation and Analysis [electronic resource] / by Karsten Konrad
Model Generation for Natural Language Interpretation and Analysis [electronic resource] / by Karsten Konrad
Creatore [Konrad, Karsten]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Science, general
Document Preparation and Text Processing
Language Translation and Linguistics
Mathematical Logic and Formal Languages
ISBN 9783540210696
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354229
[Konrad, Karsten]  
Software
Lo trovi qui: University of Chicago
MICAI 2004: Advances in Artificial Intelligence [electronic resource] : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings / by Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar
MICAI 2004: Advances in Artificial Intelligence [electronic resource] : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings / by Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar
Creatore [Monroy, Raúl]
Accesso persona Arroyo-Figueroa, Gustavo
Sossa, Humberto
Sucar, Luis Enrique
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Image Processing and Computer Vision
Mathematical Logic and Formal Languages
ISBN 9783540214595
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354273
[Monroy, Raúl]  
Software
Lo trovi qui: University of Chicago
Computer Vision - ECCV 2004 [electronic resource] : 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part II / by Tomas Pajdla, Jiri Matas
Computer Vision - ECCV 2004 [electronic resource] : 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part II / by Tomas Pajdla, Jiri Matas
Creatore [Pajdla, Tomáš]
Accesso persona Matas, Jiří
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Image Processing and Computer Vision
Pattern Recognition
ISBN 9783540219835
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354297
[Pajdla, Tomáš]  
Software
Lo trovi qui: University of Chicago
Uncertain Projective Geometry [electronic resource] : Statistical Reasoning for Polyhedral Object Reconstruction / by Stephan Heuel
Uncertain Projective Geometry [electronic resource] : Statistical Reasoning for Polyhedral Object Reconstruction / by Stephan Heuel
Creatore [Heuel, Stephan]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Geometry
Image Processing and Computer Vision
Pattern Recognition
Probability and Statistics in Computer Science
ISBN 9783540220299
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354313
[Heuel, Stephan]  
Software
Lo trovi qui: University of Chicago
Embodied Artificial Intelligence [electronic resource] : International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Selected Papers / by Fumiya Iida, Rolf Pfeifer, Luc Steels
Embodied Artificial Intelligence [electronic resource] : International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Selected Papers / by Fumiya Iida, Rolf Pfeifer, Luc Steels
Creatore [Iida, Fumiya]
Accesso persona Kuniyoshi, Yasuo
Pfeifer, Rolf
Steels, Luc.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Automation and Robotics
ISBN 9783540224846
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354398
[Iida, Fumiya]  
Software
Lo trovi qui: University of Chicago