Results of search for 'ccl=su:" Artificial intelligence"'

Results
	801.	Theorem Proving in Higher Order Logics [electronic resource] Proceedings by Klaus Schneider and Jens Brandt by International Conference 2007) Kaiserslautern, TPHOLs (20 Brandt, Jens Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.115 (e-book). Place hold
	802.	Advanced Concepts for Intelligent Vision Systems [electronic resource] Proceedings by Jacques Blanc-Talon, Wilfried Philips and Dan Popescu by International Conference 2007 Delft, ACIVS (9 Philips, Wilfried Popescu, Dan Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.37 (e-book). Place hold
	803.	Intelligent Virtual Agents [electronic resource] Proceedings by Catherine Pelachaud and et al by International Conference 2007) France, IVA (7 Martin, Jean Claude Andr़, Elisabeth Chollet, G़rard Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.8 (e-book). Place hold
	804.	Creating New Learning Experiences on a Global Scale [electronic resource] Proceedings by Erik Duval, Ralf Klamma and Martin Wolpers by European Conference 2007) Greece, EC-TEL (2 Klamma, Ralf Wolpers, Martin Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 371.33028567 (e-book). Place hold
	805.	Algorithmic Learning Theory [electronic resource] Proceedings by Marcus Hutter, Rocco A Servedio and Eiji Takimoto by International Conference 2007) Japan, ALT (18 Servedio, Rocco A Takimoto, Eiji Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	806.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] Proceedings by Khaled Mellouli by European Conference 2007) Tunisia, ECSQARU (9 Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	807.	Scalable Uncertainty Management [electronic resource] Proceedings by Henri Prade and V S Subrahmanian by International Conference 2007) Washington,DC, SUM (1 Prade, Henri Subrahmanian, V. S Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	808.	Knowledge discovery in inductive databases [electronic resource] Proceedings by Saso Dzeroski and Jan Struyf by International Workshop 2006) Germany, KDID (5 Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.74 (e-book). Place hold
	809.	Human Motion . Understanding, Modeling, Capture and Animation [electronic resource] Proceedings by Ahmed Elgammal, Bodo Rosenhahn and Reinhard Klette by Workshop 2007) Brazil, Human Motion (2 Elgammal, Ahmed Rosenhahn, Bodo Klette, Reinhard Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.42019 (e-book). Place hold
	810.	Medical Image Computing and Computer-Assisted Intervention . MICCAI 2007 [electronic resource] Proceedings by Nicholas Ayache, S़bastien Ourselin and Anthony Maeder by International Conference 2007) Australia, MICCAI (10 Ayache, Nicholas Ourselin, S़bastien Maeder, Anthony Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 616.07540285642 Pt.1 (e-book). Place hold
	811.	Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] Proceedings by Stefano Aguzzoli, et al by Aguzzoli, Stefano, et al Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.31 (e-book). Place hold
	812.	Knowledge Science, Engineering and Management [electronic resource] Proceedings by Zili Zhang and J५rg Siekmann by International Conference 2007) Australia, KSEM (2 Zhang, Zili Siekmann, J५rg Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.33 (e-book). Place hold
	813.	AI 2007 Advances in Artificial Intelligence [electronic resource] :Proceedings by Mehmet A Orgun and John Thornton by Australian Joint Conference 2007) Australia, AI (20 Orgun, Mehmet A Thornton, John Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	814.	Web Information Systems Engineering . WISE 2007 Workshops [electronic resource] Proceedings by Mathias Weske, Mohand-Sad Hacid and Claude Godart by International Workshops, WISE (1 Weske, Mathias Hacid, Mohand-Sad Godart, Claude Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.678 (e-book). Place hold
	815.	Web Intelligence Meets Brain Informatics [electronic resource] ed by Ning Zhong and Jiming Liu by WICI International Workshop (Beijing 2006) Zhong, Ning Liu, Jiming Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	816.	Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource Proceedings ed by Marc Cavazza and St़phane Donikian by International Conference, ICVS (4 France 2007) Cavazza, Marc Donikian, St़phane Material type: Book Publication details: Berlin Spinger 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 808.5430285 (e-book). Place hold
	817.	Intelligent Data Engineering and Automated Learning - IDEAL 2007 [electronic resource] Proceedings ed by Hujun Yin, Peter Yin and Emilio Corchado by International Conference (8 UK 2007) Yin, Hujun Tino, Peter Corchado, Emilio Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.3985 (e-book). Place hold
	818.	50 Years of Artificial Intelligence [electronic resource] Essays Dedicated to the 50th Anniversary of Artificial Intelligence by Max Lungarella, Fumiya Iida and Josh Bongard by Lungarella, Max Iida, Fumiya Bongard, Josh Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.312 (e-book). Place hold
	819.	Automated Deduction in Geometry [electronic resource] Proceedings ed by Francisco Botana and Tomas Recio by International Workshop, ADG (6 Spain 2006) Botana, Francisco Recio, Tomas Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.00285 (e-book). Place hold
	820.	The Semantic Web [electronic resource] Proceedings ed by Karl Aberer and Key-Sun Choi by ISWC and ASWC (6&2 Korea 2007) Aberer, Karl Choi, Key-Sun Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.678 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 965 results.