ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3153 results.

Not what you expected? Check for suggestions
Sort
Results
1161.
Knowledge Based Computer Systems International Conference KBCS '89 Bombay, India, December 11-13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1162.
10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990 Proceedings / edited by Mark E. Stickel. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1163.
Artificial Intelligence in Higher Education CEPES-UNESCO International Symposium Prague, CSFR, October 23-25, 1989 Proceedings / edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1164.
A Perspective of Constraint-Based Reasoning An Introductory Tutorial / edited by Hans Werner Guesgen, Joachim Hertzberg. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1165.
1166.
Computer Assisted Learning 4th International Conference, ICCAL '92 Wolfville, Nova Scotia, Canada, June 17-20, 1992 Proceedings / edited by Ivan Tomek. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1167.
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1168.
1169.
Automated Deduction-CADE-11 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings / edited by Deepak Kapur. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1170.
Intelligent Tutoring Systems Second International Conference, ITS '92 Montréal, Canada, June 10-12 1992 Proceedings / edited by Claude Frasson, Gilles Gauthier, Gordon I. McCalla. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1171.
Coordinating Plans of Autonomous Agents by Frank Martial. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1172.
1173.
Constructivity in Computer Science Summer Symposium San Antonio, TX, June 19-22, 1991 Proceeding / edited by J. Paul Myers, Michael J. O'Donnell. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1174.
Advanced Topics in Artificial Intelligence International Summer School Prague, Czechoslovakia, July 6-17, 1992 Proceedings / edited by Vladimír Mřrík, Olga Štěpánková, Rorbert Trappl. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1175.
Contemporary Knowledge Engineering and Cognition First Joint Workshop Kaiserslautern, Germany, February 21-22, 1991 Proceedings / edited by Franz Schmalhofer, Gerhard Strube, Thomas Wetter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1176.
Automata, Languages and Programming 19th International Colloquium Wien, Austria, July 13-17, 1992 Proceedings / edited by W. Kuich. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1177.
Logic Programming and Automated Reasoning International Conference LPAR '92 St. Petersburg, Russia, July 15-20, 1992 Proceedings / edited by Andrei Voronkov. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1178.
Nonclassical Logics and Information Processing International Workshop Berlin, Germany, November 9-10, 1990 Proceedings / edited by David Pearce, Heinrich Wansing. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1179.
Computer Science Logic 5th Workshop, CSL '91 Berne, Switzerland, October 7-11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

1180.
Relational Matching edited by G. Vosselman. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages