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.
Advances in Artificial Intelligence [electronic resource] : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96, Toronto, Canada, May (21-24), 1996. Proceedings / by Gordon McCalla
Advances in Artificial Intelligence [electronic resource] : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96, Toronto, Canada, May (21-24), 1996. Proceedings / by Gordon McCalla
Creatore [McCalla, Gordon]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
ISBN 9783540612919
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355489
[McCalla, Gordon]  
Software
Lo trovi qui: University of Chicago
Over-Constrained Systems [electronic resource] / by Michael Jampel, Eugene Freuder, Michael Maher
Over-Constrained Systems [electronic resource] / by Michael Jampel, Eugene Freuder, Michael Maher
Creatore [Jampel, Michael]
Accesso persona Freuder, Eugene
Maher, Michael
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
ISBN 9783540614791
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355513
[Jampel, Michael]  
Software
Lo trovi qui: University of Chicago
Reasoning with Logic Programming [electronic resource] / by Jose Julio Alferes, Luis Moniz Pereira
Reasoning with Logic Programming [electronic resource] / by Jose Julio Alferes, Luis Moniz Pereira
Creatore [Alferes, José Júlio]
Accesso persona Pereira, Luís Moniz
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
ISBN 9783540614883
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355515
[Alferes, José Júlio]  
Software
Lo trovi qui: University of Chicago
Conceptual Structures: Knowledge Representations as Interlingua [electronic resource] : 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings / by Peter W. Eklund, Gerard Ellis, Graham Mann
Conceptual Structures: Knowledge Representations as Interlingua [electronic resource] : 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings / by Peter W. Eklund, Gerard Ellis, Graham Mann
Creatore [Eklund, Peter W.]
Accesso persona Ellis, Gerard
Mann, Graham
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
ISBN 9783540615347
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355521
[Eklund, Peter W.]  
Software
Lo trovi qui: University of Chicago
Simulated Evolution and Learning [electronic resource] : First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / by Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi
Simulated Evolution and Learning [electronic resource] : First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / by Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi
Creatore [Yao, Xin.]
Accesso persona Furuhashi, T. (Takeshi)
Kim, Jong-Hwan
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Computer Appl. in Life Sciences
Simulation and Modeling
Systems and Information Theory in Engineering
ISBN 9783540633990
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355694
[Yao, Xin.]  
Software
Lo trovi qui: University of Chicago
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings / by Ming Li, Akira Maruoka
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings / by Ming Li, Akira Maruoka
Creatore [Li, Ming, 1955 July 16-]
Accesso persona Maruoka, Akira
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783540635772
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355724
[Li, Ming, 1955 July 16-]  
Software
Lo trovi qui: University of Chicago
Deductive and Object-Oriented Databases [electronic resource] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao
Deductive and Object-Oriented Databases [electronic resource] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / by Francois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao
Creatore [Bry, François]
Accesso persona Ramakrishnan, Raghu
Ramamohanarao, Kotagiri
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Database Management
Programming Techniques
ISBN 9783540637929
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355748
[Bry, François]  
Software
Lo trovi qui: University of Chicago
Coordination Technology for Collaborative Applications [electronic resource] : Organizations, Processes, and Agents / by Wolfram Conen, Gustaf Neumann
Coordination Technology for Collaborative Applications [electronic resource] : Organizations, Processes, and Agents / by Wolfram Conen, Gustaf Neumann
Creatore [Conen, Wolfram]
Accesso persona Neumann, Gustaf
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Computer Communication Networks
Information Systems Applications (incl.Internet)
User Interfaces and Human Computer Interaction
ISBN 9783540641704
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355770
[Conen, Wolfram]  
Software
Lo trovi qui: University of Chicago
The Automation of Reasoning with Incomplete Information [electronic resource] : From Semantic Foundations to Efficient Computation / by Torsten Schaub
The Automation of Reasoning with Incomplete Information [electronic resource] : From Semantic Foundations to Efficient Computation / by Torsten Schaub
Creatore [Schaub, Torsten]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783540645153
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355805
[Schaub, Torsten]  
Software
Lo trovi qui: University of Chicago
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Alan J. Hu, Moshe Y. Vardi
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Alan J. Hu, Moshe Y. Vardi
Creatore [Hu, Alan J.]
Accesso persona Vardi, Moshe Y.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
ISBN 9783540646082
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355819
[Hu, Alan J.]  
Software
Lo trovi qui: University of Chicago