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.
A Perspective of Constraint-Based Reasoning [electronic resource] : An Introductory Tutorial / by Hans W. Guesgen, Joachim Hertzberg
A Perspective of Constraint-Based Reasoning [electronic resource] : An Introductory Tutorial / by Hans W. Guesgen, Joachim Hertzberg
Creatore [Guesgen, Hans W.]
Accesso persona Hertzberg, Joachim
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540555100
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355016
[Guesgen, Hans W.]  
Software
Lo trovi qui: University of Chicago
The Next Generation of Information Systems: From Data to Knowledge [electronic resource] : A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991 / by Michael P. Papazoglou, John Zeleznikow
The Next Generation of Information Systems: From Data to Knowledge [electronic resource] : A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991 / by Michael P. Papazoglou, John Zeleznikow
Creatore [Papazoglou, Michael P.]
Accesso persona Zeleznikow, J.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
ISBN 9783540556169
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355032
[Papazoglou, Michael P.]  
Software
Lo trovi qui: University of Chicago
Contemporary Knowledge Engineering and Cognition [electronic resource] : First Joint Workshop, Kaiserslautern, Germany, February 21-22,1991. Proceedings / by Franz Schmalhofer, Gerhard Strube, Thomas Wetter
Contemporary Knowledge Engineering and Cognition [electronic resource] : First Joint Workshop, Kaiserslautern, Germany, February 21-22,1991. Proceedings / by Franz Schmalhofer, Gerhard Strube, Thomas Wetter
Creatore [Schmalhofer, Franz]
Accesso persona Strube, Gerhard
Wetter, Thomas
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540557111
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355041
[Schmalhofer, Franz]  
Software
Lo trovi qui: University of Chicago
Machine Learning: From Theory to Applications [electronic resource] : Cooperative Research at Siemens and MIT / by Stephen J. Hanson, Werner Remmele, Ronald L. Rivest
Machine Learning: From Theory to Applications [electronic resource] : Cooperative Research at Siemens and MIT / by Stephen J. Hanson, Werner Remmele, Ronald L. Rivest
Creatore [Hanson, Stephen J.]
Accesso persona Remmele, Werner
Rivest, Ronald L.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Processor Architectures
ISBN 9783540564836
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355080
[Hanson, Stephen J.]  
Software
Lo trovi qui: University of Chicago
Filtering, Segmentation and Depth [electronic resource] / by Mark Nitzberg, David Mumford, Takahiro Shiota
Filtering, Segmentation and Depth [electronic resource] / by Mark Nitzberg, David Mumford, Takahiro Shiota
Creatore [Nitzberg, Mark]
Accesso persona Mumford, David
Shiota, Takahiro
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Image Processing and Computer Vision
Software Engineering/Programming and Operating Systems
ISBN 9783540564843
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355081
[Nitzberg, Mark]  
Software
Lo trovi qui: University of Chicago
Resolution Methods for the Decision Problem [electronic resource] / by C. Fermüller, A. Leitsch, Tanel Tammet
Resolution Methods for the Decision Problem [electronic resource] / by C. Fermüller, A. Leitsch, Tanel Tammet
Creatore [Fermüller, C.]
Accesso persona Leitsch, A.
Tammet, Tanel
Zamov, Nail
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9783540567325
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355098
[Fermüller, C.]  
Software
Lo trovi qui: University of Chicago
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / by Alfonso Miola
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / by Alfonso Miola
Creatore [Miola, Alfonso]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Symbolic and Algebraic Manipulation
ISBN 9783540572350
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355139
[Miola, Alfonso]  
Software
Lo trovi qui: University of Chicago
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / by Michael Clarke, Rudolf Kruse, Serafin Moral
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / by Michael Clarke, Rudolf Kruse, Serafin Moral
Creatore [Clarke, Michael]
Accesso persona Kruse, Rudolf
Moral, Serafin
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540573951
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355164
[Clarke, Michael]  
Software
Lo trovi qui: University of Chicago
Compiler Construction [electronic resource] : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / by Peter A. Fritzson
Compiler Construction [electronic resource] : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / by Peter A. Fritzson
Creatore [Fritzson, Peter A.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
ISBN 9783540578772
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355201
[Fritzson, Peter A.]  
Software
Lo trovi qui: University of Chicago
FM8501: A Verified Microprocessor [electronic resource] / by Warren A. Jr. Hunt
FM8501: A Verified Microprocessor [electronic resource] / by Warren A. Jr. Hunt
Creatore [Hunt, Warren A. Jr.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Arithmetic and Logic Structures
Artificial Intelligence (incl. Robotics)
Electronics and Microelectronics, Instrumentation
Input/Output and Data Communications
Logic Design
Mathematical Logic and Formal Languages
ISBN 9783540579601
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355211
[Hunt, Warren A. Jr.]  
Software
Lo trovi qui: University of Chicago