1.
ANSI common LISP
by Graham, P.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Jersey Prentice Hall 1996Availability: Items available for loan: [Call number: 005.133 GRA] (7).
2.
Image processing for the food industry
by Davies, E. R.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 2000Availability: Items available for loan: [Call number: 664.07 DAV] (1).
3.
Picture interpretation: A symbolic approach
by Dance, S.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1995Availability: Items available for loan: [Call number: 006.37 DAN] (1).
4.
Rules of encounter: Designing conventions for automated negotiation among computers
by Rosenschein, J. S.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1994Availability: Items available for loan: [Call number: 004.62015193 ROS] (1).
5.
Experiments in the machine interpretation of visual motion
by Murray, D. W.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1990Availability: Items available for loan: [Call number: 006.37 MUR] (1).
6.
Machine translation: A view from the lexicon
by Dorr, B. J.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1993Availability: Items available for loan: [Call number: 418.020285 DOR] (1).
7.
The language complexity game
by Ristad, E. S.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge; Massachusetts MIT Press 1993Availability: Items available for loan: [Call number: 006.35 RIS] (1).
8.
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).
9.
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).
10.
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).
11.
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).
12.
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).
13.
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).
14.
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).
15.
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).
16.
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).
17.
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).
18.
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).
19.
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).
20.
50 years of artificial intelligence: Essays dedicated to the 50th anniversary of Artificial Intelligence
by Lungarella, M. et.al. Editors.
Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Heidelberg Springer Verlag 2007Availability: Items available for loan: [Call number: 006.3 LUN] (1).