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.]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
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]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
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.]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
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.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |