1. First biennial national conference on computer vision, pattern recognition, image processing and graphics, NCVPRIPG, 11-13 January, 2008

by DA-IICT | IEEE Gujarat | Indian Unit for Pattern Recognition and Artificial Intelligence.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Gandhinagar: Indian Unit for Pattern Recognition and Artificial Intelligence, 2008Availability: Items available for loan: [Call number: 006.6 DHI] (3).
2. Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang | Lee, Richard Char-Tung.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
3. Artificial intelligence through Prolog

by Rowe, Neil C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 1988Availability: Items available for loan: [Call number: 005.133 ROW] (1).
4. Discrete neural computation : a theoretical foundation

by Kailath, Thomas | Roychowdhury, Vwani | Siu, Kai-Yeung.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 1995Availability: Items available for loan: [Call number: 006.3 SIU] (1).
5. Essence of artificial intelligence

by Cawsey, Alison.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Prentice Hall, 1998Availability: Items available for loan: [Call number: 006.3 CAW] (1).
6. Age of spiritual machines: When computers exceed human intelligence

by Kurzweil, Ray.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Penguin Books, 2000Availability: Items available for loan: [Call number: 006.3 KUR] (1).
7. Computational intelligence : a logical approach

by Mackworth, Alan | Goebel, Randy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 1998Availability: Items available for loan: [Call number: 006.3 POO] (1).
8. Swarm intelligence : from natural to artificial systems

by Dorigo, Marco | Bonabeau, Eric | Theraulaz, Guy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 1999Availability: Items available for loan: [Call number: 006.3 BON] (1).
9. Natural-born cyborgs : minds, technologies, and the future of human intelligence

by Clark, Andy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2003Availability: Items available for loan: [Call number: 303.4834 CLA] (1).
10. Possible worlds, artificial intelligence and narrative theory

by Ryan, Marie-Laure.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Bloomington: Indiana University Press, 1991Availability: Items available for loan: [Call number: 808.3014 RYA] (1).
11. Designing sociable robots

by Breazeal, Cynthia L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 2002Availability: Items available for loan: [Call number: 006.3 BRE] (2).
12. Three-dimensional computer vision : a geometric viewpoint

by Faugeras, Olivier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 1993Availability: Items available for loan: [Call number: 006.37 FAU] (1).
13. Spinning the Semantic web : bringing the world wide web to its full potential

by Fensel, Dieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 2003Availability: Items available for loan: [Call number: 004.678 FEN] (1).
14. Age of intelligent machines

by Kurzweil, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1990Availability: Items available for loan: [Call number: 006.3 KUR] (1).
15. Cyber space : first step

by Benedikt, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1994Availability: Items available for loan: [Call number: 003.3 BEN] (1).
16. Advances in knowledge discovery and data mining

by Fayyad, Usama M | Piatetsky-Shapiro, Gregory | Smyth, Padhraic | Uthurusamy, Ramasamy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Menlo Park: MIT Press, 1996Availability: Items available for loan: [Call number: 001.4225028563 FAY] (1).
17. Conceptual spaces : the geometry of thought

by Gardenfors, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2004Availability: Items available for loan: [Call number: 006.3 GAR] (1).
18. Artificial life: An overview

by Langton, Christopher G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1998Availability: Items available for loan: [Call number: 574.0113 LAN] (1).
19. Building intelligent .net applications : agents, data mining, rule-based systems, and speech processing

by Rea, Sara Morgan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 005.2768 REA] (1).
20. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).

Powered by Koha