Safe and sound: Artificial intelligence in hazardous applications
by Fox, J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 2000Availability: Items available for loan: [Call number: 610.28563 FOX] (1).
Third-dimensional computer vision: A geometric viewpoint
by Faugeras, O.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1993Availability: Items available for loan: [Call number: 006.37 FAU] (1).
Artificial intelligence
by Rich, E.
Edition: 2nd ed. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi Tata McGraw Hill 1991Availability: Items available for loan: [Call number: 006.3 RIC] (1).
Empirical methods for artificial intelligence
by Cohen, P. R.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1995Availability: Items available for loan: [Call number: 006.3072 COH] (1).
Building problem solvers
by Forbus, K. D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1993Availability: Items available for loan: [Call number: 006.3 FOR] (1).
Bio-Inspired artificial intelligence: Theories, methods, and technologies
by Floreano, D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 2008Availability: No items available Checked out (1).
The art of causal conjecture
by Shafer, G.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1996Availability: Items available for loan: [Call number: 519.201 SHA] (1).
Solving the frame problem: A mathematical investigation of the common sense law of inertia
by Shanahan, M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1997Availability: Items available for loan: [Call number: 006.33 SHA] (1).
Solving geometric constraint systems: A case study in Kinematics
by Kramer, G. A.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1992Availability: Items available for loan: [Call number: 621.811 KRA] (1).
Qualitative reasoning: Modeling and simulation with incomplete knowledge
by Kuipers, B.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1994Availability: Items available for loan: [Call number: 006.33 KUI] (1).
Nonmonotonic reasoning
by Antoniou, G.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1997Availability: Items available for loan: [Call number: 511.3 ANT] (1).
Made-up minds: A constructivist approach to artificial intelligence
by Drescher, G. L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1991Availability: Items available for loan: [Call number: 006.33 DRE] (1).
Machine that walk: The adaptive suspension vehicle
by Song, S-M.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts MIT Press 1989Availability: Items available for loan: [Call number: 629.892 SON] (1).
Artificial intelligence for computer games
by Funge, J. D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Massachusetts A K Peters, Ltd. 2004Availability: Items available for loan: [Call number: 794.8163 FUN] (1).
Verification of object-oriented software: The KeY approach
by Beckert, B.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin, Heidelberg Springer-Verlag 2007Availability: Items available for loan: [Call number: 005.14 BEC] (1).
Intelligent Bioinformatics: The application of artificial intelligence techniques to bioinformatics problems
by Keedwell, E.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Chichester John Wiley and Sons 2005Availability: Items available for loan: [Call number: 570.28565 KEE] (1).
Sanskrit computational linguistics - Proceedings of the 4th International Symposium held at New Delhi, India during December 10-12, 2010
by Jha, G. N. ed.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 2010Availability: Items available for loan: [Call number: 491.25 JHA] (1).
Chess metaphors: Artificial Intelligence and the human mind
by Rasskin-Gutman, D. translated by Deborah Klosky.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 2009Availability: Items available for loan: [Call number: 794.1019 RAS] (1).
Charting The Topic Maps Research And Applications Landscape - First International Workshop On Topic Maps Research And Applications, TMRA 2005, held during October 6-7, 2005 at Leip
by Maicher, L.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer 2006Availability: Items available for loan: [Call number: 006.33 MAI] (1).
Witness Testimony Evidence: Argumentation, Artificial Intelligence, and Law
by Walton, D.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: [Call number: 347.066 WAL] (1).