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.
Analogical and Inductive Inference [electronic resource] : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings / by Klaus P. Jantke
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.)]  
Software
Lo trovi qui: University of Chicago
The Logic of Information Structures [electronic resource] / by Heinrich Wansing
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)]  
Software
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
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.]  
Software
Lo trovi qui: University of Chicago
Intelligent Perceptual Systems [electronic resource] : New Directions in Computational Perception / by Vito Roberto
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]  
Software
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
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.]  
Software
Lo trovi qui: University of Chicago
Representing Plans Under Uncertainty [electronic resource] : A Logic of Time, Chance, and Action / by Peter Haddawy
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]  
Software
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
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.]  
Software
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
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]  
Software
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
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]  
Software
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
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]  
Software
Lo trovi qui: University of Chicago