21. Industrial applications of semantic Web : proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland

by Bramer, Max | Terziyan, Vagan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 025.04 BRA] (1).
22. Introduction to default logic

by Besnard, Philippe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 006.3 BES] (1).
23. Introduction to artificial life

by Adami, Christoph.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 570.13 ADA] (2).
24. Automated theorem proving : theory and practice

by Newborn, Monty.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
25. Cognitive technology : in search of a humane interface

by Mey, Jacob L | Gorayska, Barbara.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 1996Availability: Items available for loan: [Call number: 153 GOR] (1).
26. Fluid concepts and creative analogies : computer models of the fundamental mechanisms of thought

by Hofstadter, Douglas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: HarperCollins, 1995Availability: Items available for loan: [Call number: 153.4 HOF] (1).
27. Handbook of virtual humans

by Magnenat-Thalmann, N | Thalmann, D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 629.892 MAG] (1).
28. Design of logic-based intelligent systems

by Truemper, Klaus.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 006.33 TRU] (1).
29. Smart environments : technology, protocols and applications

by Cook, Diane J | Das, Sajal K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 006.3 COO] (1).
30. Computer science : a breadth-first approach with C

by Impagliazzo, John | Nagin, Paul A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Wiley, 1995Availability: Items available for loan: [Call number: 004 IMP] (1).
31. Computation and human experience

by Agre, Philip E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 006.3 AGR] (1).
32. Analytical engine : an introduction to computer science using the Internet

by Decker, Rick | Hirshfield, Stuart.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).
33. Analytical engine : an introduction to computer science using the Internet

by Decker, Rick | Hirshfield, Stuart.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: PWS Publishing, 1998Availability: Items available for loan: [Call number: 004 DEC] (2).
34. Object-oriented artificial intelligence using C++

by Tracy, Kim W | Bouthoorn, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Computer Science Press, 1997Availability: Items available for loan: [Call number: 006.3 TRA] (2).
35. Artificial intelligence illuminated

by Coppin, Ben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2004Availability: Items available for loan: [Call number: 006.3 COP] (1).
36. Evolutionary computation : the fossil record

by Fogel, David B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: IEEE Press, 1998Availability: Items available for loan: [Call number: 005.1 FOG] (1).
37. Complex information processing: The impact of Herbert A. Simon

by Klahr, David | Klahr, David | Kotovsky, Kenneth | Kotovsky, Kenneth.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Lawrence Erlbaum Associates, 1989Availability: Items available for loan: [Call number: 153.0924 KLA] (1).
38. Spatial cognition and computation : an interdiciplinary journal

by Hornsby, Kathleen | Cohn, Anthony, G | Hirtle, Stephen C | Hirtle, Stephen C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Lawrence Erlbaum Associates, 2004Availability: Items available for loan: [Call number: 006.332 COH] (1).
39. Mathematical methods in artificial intelligence

by Bender, Edward A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: California: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 006.3015 BEN] (1).
40. Pattern recognition basis of artificial intelligence

by Tveter, Donald R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Los Alamitos: IEEE Computer Society, 1998Availability: Items available for loan: [Call number: 006.3 TVE] (1).

Powered by Koha