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.
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 | |
