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

Results
	1201.	An Approach to Knowledge Base Management by Nelson Mendonça Mattos. by Mattos, Nelson Mendonça 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).
	1202.	Conditional Term Rewriting Systems Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8-10 1992 Proceedings / edited by Michaël Rusinowitch, Jean-Luc Rémy. by Rusinowitch, Michaë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).
	1203.	Truth Maintenance Systems ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings / edited by João Pavão Martins, Michael Reinfrank. by Martins, João Pavão 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).
	1204.	Temporally Distributed Symptoms in Technical Diagnosis by Klaus Nökel. by Nökel, Klaus 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).
	1205.	Nonmonotonic and Inductive Logic Second International Workshop Reinhardsbrunn Castle, Germany December 2-6, 1991 Proceedings / edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt. by Brewka, Gerhard 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).
	1206.	Conditional and Typed Rewriting Systems 2nd International CTRS Workshop Montreal, Canada, June 11-14, 1990 Proceedings / edited by S. Kaplan, M. Okada. by Kaplan, S 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).
	1207.	Instantiation Theory On the Foundations of Automated Deduction / by James G. Williams. by Williams, James G 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).
	1208.	Extensions of Logic Programming Third International Workshop, ELP '92 Bologna, Italy, February 26-28, 1992 Proceedings / edited by E. Lamma, P. Mello. by Lamma, E 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).
	1209.	Machine Learning: From Theory to Applications Cooperative Research at Siemens and MIT / edited by Stephen José Hanson, Werner Remmele, Ronald L. Rivest. by Hanson, Stephen José 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).
	1210.	Filtering, Segmentation and Depth by Mark Nitzberg, David Mumford, Takahiro Shiota. by Nitzberg, Mark 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).
	1211.	Uncertainty in Knowledge Bases 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90 Paris, France, July 2-6, 1990 Proceedings / edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh. by Bouchon-Meunier, Bernadette 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).
	1212.	European Workshop on Planning EWSP ’91, Sankt Augustin, FRG, March 18-19, 1991 Proceedings / edited by Joachim Hertzberg. by Hertzberg, Joachim 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).
	1213.	Machine Learning: ECML-93 European Conference on Machine Learning Vienna, Austria, April 5-7, 1993 Proceedings / edited by Pavel B. Brazdil. by Brazdil, Pavel B 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).
	1214.	Advances in Spatial Databases 2nd Symposium, SSD '91 Zurich, Switzerland, August 28-30, 1991 Proceedings / edited by Oliver Günther, Hans-Jörg Schek. by Günther, Oliver 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).
	1215.	GWAI-92: Advances in Artificial Intelligence 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 - September 3, 1992 Proceedings / edited by Hans Jürgen Ohlbach. by Jürgen Ohlbach, Hans 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).
	1216.	Live Data Structures in Logic Programs Derivation by Means of Abstract Interpretation / by Anne Mulkers. by Mulkers, Anne 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).
	1217.	Word Equations and Related Topics Second International Workshop, IWWERT '91 Rouen, France, October 7-9, 1991 Proceedings / edited by Habib Abdulrab, Jean-Pierre Pécuchet. by Abdulrab, Habib 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).
	1218.	Resolution Methods for the Decision Problem edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov. by Fermüller, 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).
	1219.	The Logic of Information Structures by Heinrich Wansing. by Wansing, Heinrich 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).
	1220.	IPMU '92-Advanced Methods in Artificial Intelligence 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Palma de Mallorca, Spain, July 6-10, 1992 Proceedings / edited by Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager. by Bouchon-Meunier, Bernadette 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.