ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3153 results.

Not what you expected? Check for suggestions
Sort
Results
941.
Logic Programming 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / edited by Peter J. Stuckey. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

942.
Automated Deduction-CADE-18 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27-30, 2002 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).

943.
Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2-4, 2002 Proceedings / edited by Sven Koenig, Robert C. Holte. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

944.
945.
Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski Part I / edited by Antonis C. Kakas, Fariba Sadri. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

946.
Advances in Soft Computing - AFSS 2002 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3-6, 2002 Proceedings / edited by Nikhil R. Pal, Michio Sugeno. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

947.
Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski Part II / edited by Antonis C. Kakas, Fariba Sadri. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

948.
Foundations and Applications of Multi-Agent Systems UKMAS Workshops 1996-2000 Selected Papers / edited by Mark d’Inverno, Michael Luck, Michael Fisher, Chris Preist. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

949.
Logic Programming 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 - December 1, 2001 Proceedings / edited by Philippe Codognet. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

950.
951.
Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / edited by Gian Pietro Picco. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

952.
Discovery Science 4th International Conference, DS 2001 Washington, DC, USA, November 25-28, 2001 Proceedings / edited by Klaus P. Jantke, Ayumi Shinohara. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

953.
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001 Havana, Cuba, December 3-7, 2001 Proceedings / edited by Robert Nieuwenhuis, 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).

954.
955.
956.
Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

957.
Pattern Recognition with Support Vector Machines First International Workshop, SVM 2002 Niagara Falls, Canada, August 10, 2002 Proceedings / edited by Seong-Whan Lee, Alessandro Verri. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

958.
959.
Intelligent Agents and Multi-Agent Systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002 Tokyo, Japan, August 18-19, 2002 Proceedings / edited by Kazuhiro Kuwabara, Jaeho Lee. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

960.
Principles of Data Mining and Knowledge Discovery 6th European Conference, PKDD 2002 Helsinki, Finland, August 19-23, 2002 Proceedings / edited by Tapio Elomaa, Heikki Mannila, Hannu Toivonen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages