Results of search for 'ccl=(su:{Artificial Intelligence})'

Results
	1361.	Applications of Invariance in Computer Vision Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9-14, 1993 Proceedings / edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth. by Mundy, Joseph L Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1362.	Temporal Logic First International Conference, ICTL'94 Bonn, Germany, July 11-14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1363.	Isabelle A Generic Theorem Prover / edited by Lawrence C. Paulson. by Paulson, Lawrence C Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1364.	Artificial Social Systems 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92 S. Martino al Cimino, Italy, July 29-31, 1992 Selected Papers / edited by Cristiano Castelfranchi, Eric Werner. by Castelfranchi, Cristiano Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1365.	Computer Science Logic 7th Workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke. by Börger, Egon Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1366.	Fuzzy Logic and Fuzzy Control IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings / edited by Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu. by Driankov, Dimiter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1367.	Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender. by Bebis, George Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1368.	Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Ara Nefian, Gopi Meenakshisundaram, Valerio Pascucci, Jiri Zara, Jose Molineros, Holger Theisel, Tom Malzbender. by Bebis, George Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1369.	Algorithms and Computation 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25-27, 1994 Proceedings / edited by Ding-Zhu Du, Xiang-Sun Zhang. by Du, Ding-Zhu Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1370.	Topics in Case-Based Reasoning First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1-5, 1993 Selected Papers / edited by Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter. by Wess, Stefan Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1371.	Logics in Artificial Intelligence European Workshop JELIA '94 York, UK, September 5-8, 1994 Proceedings / edited by Craig MacNish, David Pearce, Luís Moniz Pereira. by MacNish, Craig Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1372.	Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12-15, 1999 Proceedings / edited by William M. Tepfenhart, Walling Cyre. by Tepfenhart, William M Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1373.	Automated Deduction - CADE-16 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings / by Harald Ganzinger. by Ganzinger, Harald Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1374.	Rewriting Techniques and Applications 10th International Conference, RTA-99 Trento, Italy, July 2-4, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch. by Narendran, Paliath Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1375.	Programming Language Implementation and Logic Programming 6th International Symposium, PLILP '94 Madrid, Spain, September 14-16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam. by Hermenegildo, Manuel Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1376.	Constraints in Computational Logics First International Conference, CCL '94 Munich, Germany, September 7-9, 1994 Proceedings / edited by Jean-Pierre Jouannaud. by Jouannaud, Jean-Pierre Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1377.	Information Processing in Medical Imaging 16th International Conference, IPMI’99 Visegrád, Hungary, June 28 - July 2, 1999 Proceedings / edited by Attila Kuba, Martin Šáamal, Andrew Todd-Pokropek. by Kuba, Attila Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1378.	Artificial Intelligence in Medicine Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99 Aalborg, Denmark, June 20-24, 1999 Proceedings / edited by Werner Horn, Yuval Shahar, Greger Lindberg, Steen Andreassen, Jeremy Wyatt. by Horn, Werner Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1379.	View Synthesis Using Stereo Vision by Daniel Scharstein. by Scharstein, Daniel Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1380.	Symbolic and Quantitative Approaches to Reasoning and Uncertainty edited by Anthony Hunter, Simon Parsons. by Hunter, Anthony Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 3153 results.