Analogical and Inductive Inference [electronic resource] : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings / by Klaus P. Jantke |
Creatore | [Jantke, K. P. (Klaus P.)] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Programming Techniques |
ISBN | 9783540560043 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355062 |
[Jantke, K. P. (Klaus P.)]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
The Logic of Information Structures [electronic resource] / by Heinrich Wansing |
Creatore | [Wansing, H. (Heinrich)] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Mathematical Logic and Foundations |
ISBN | 9783540567349 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355100 |
[Wansing, H. (Heinrich)]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Spatial Information Theory [electronic resource] : A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings / by Andrew U. Frank, Irene Campari |
Creatore | [Frank, Andrew U.] |
Accesso persona | Campari, I. (Irene) |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computer Graphics Data Storage Representation Data Structures Database Management Pattern Recognition |
ISBN | 9783540572077 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355133 |
[Frank, Andrew U.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Intelligent Perceptual Systems [electronic resource] : New Directions in Computational Perception / by Vito Roberto |
Creatore | [Roberto, Vito] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Pattern Recognition Software Engineering/Programming and Operating Systems |
ISBN | 9783540573791 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355162 |
[Roberto, Vito]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Human-Computer Interaction [electronic resource] : Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers / by Leonard J. Bass, Juri Gornostaev, Claus Unger |
Creatore | [Bass, Leonard J.] |
Accesso persona |
Gornostaev, I͡U. M.
Unger, C. (Claus) |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Document Preparation and Text Processing Information Systems Applications (incl.Internet) Models and Principles Software Engineering |
ISBN | 9783540574330 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355169 |
[Bass, Leonard J.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Representing Plans Under Uncertainty [electronic resource] : A Logic of Time, Chance, and Action / by Peter Haddawy |
Creatore | [Haddawy, Peter] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Operations Research/Decision Theory |
ISBN | 9783540576976 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355186 |
[Haddawy, Peter]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Computers for Handicapped Persons [electronic resource] : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994. Proceedings / by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner |
Creatore | [Zagler, Wolfgang L.] |
Accesso persona |
Busby, Geoffrey
Wagner, Roland R. |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computer Graphics Document Preparation and Text Processing Models and Principles Software Engineering |
ISBN | 9783540584766 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355276 |
[Zagler, Wolfgang L.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Human-Computer Interaction [electronic resource] : 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers / by Brad Blumenthal, Juri Gornostaev, Claus Unger |
Creatore | [Blumenthal, Brad] |
Accesso persona |
Gornostaev, I͡U. M.
Unger, C. (Claus) |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Document Preparation and Text Processing Models and Principles Software Engineering |
ISBN | 9783540586487 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355289 |
[Blumenthal, Brad]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings / by Peter Baumgartner, Reiner Hähnle, Joachim Posegga |
Creatore | [Baumgartner, Peter] |
Accesso persona |
Hähnle, Reiner
Posegga, Joachim |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN | 9783540593386 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355329 |
[Baumgartner, Peter]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Programming Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / by Manuel Hermenegildo, S.Doaitse Swierstra |
Creatore | [Hermenegildo, Manuel] |
Accesso persona | Swierstra, S. Doaitse |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Symbolic and Algebraic Manipulation |
ISBN | 9783540603597 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7355392 |
[Hermenegildo, Manuel]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |