|
1.
|
Essence of artificial intelligence
by Cawsey, Alison. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1998Availability: Items available for loan: [Call number: 006.3 CAW] (1).
|
|
2.
|
Rationalizing medical work : decision-support techniques and medical practices
by Berg, Marc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1997Availability: Items available for loan: [Call number: 610 BER] (1).
|
|
3.
|
Age of intelligent machines
by Kurzweil, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1990Availability: Items available for loan: [Call number: 006.3 KUR] (1).
|
|
4.
|
Clinical decision support systems : theory and practice
by Berner, Eta S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 616.0750285 BER] (1).
|
|
5.
|
Towards the semantic web : ontology-driven knowledge management
by Davies, John | Fensel, Dieter | Harmelen, Frank Van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: John Wiley & Sons, 2003Availability: Items available for loan: [Call number: 006.33 DAV] (1).
|
|
6.
|
Design of logic-based intelligent systems
by Truemper, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 006.33 TRU] (1).
|
|
7.
|
Smart environments : technology, protocols and applications
by Cook, Diane J | Das, Sajal K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 006.3 COO] (1).
|
|
8.
|
Integration-ready architecture and design
by Zhuk, Jeff. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.1 ZHU] (1).
|
|
9.
|
Computer-aided reasoning : an approach
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1).
|
|
10.
|
Computer-aided reasoning : ACL2 case studies
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 006.33 KAU] (1).
|
|
11.
|
Mathematical methods in artificial intelligence
by Bender, Edward A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 2000Availability: Items available for loan: [Call number: 006.3015 BEN] (1).
|
|
12.
|
Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic web
by Gomez-Perez, Asuncion | Corcho, Oscar | Fernandez-Lopez, Mariano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 006.33 GOM] (1).
|
|
13.
|
Applied intelligent systems : new directions
by Fulcher, John | Jain, Lakhmi C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FUL] (1).
|
|
14.
|
Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004
by Klopotek, Mieczyslaw A | Trojanowski, Krzysztof | Wierzchon, Slawomir T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.33 KLO] (1).
|
|
15.
|
Evolutionary computation in combinatorial optimization : fifth European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Gottlieb, Jens | Raidl, Gunther R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
|
|
16.
|
Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings
by Berthold, Michael R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
17.
|
Handbook on ontologies
by Studer, R | Staab, Steffen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 003.54 STA ] (1).
|
|
18.
|
Agent based manufacturing : advances in the holonic approach
by Deen, S. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 670.285 DEE] (1).
|
|
19.
|
Problem-solving methods : understanding, discription, development, and reuse
by Fensel, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 006.3 FEN] (1).
|
|
20.
|
Medical data mining and knowledge discovery
by Cios, Krzysztof J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 610.285 CIO] (1).
|