|
|
|
|
Truth and modality for knowledge representation by Turner,Raymond. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; MIT Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 TUR.
|
|
|
|
|
Neural Computing, Introduction to- by Aleksander, Igor | Morton, Helen. Edition: 1st & 2ndMaterial type: Text;Language: ; Format:
print
Publication details: London ; Chapman and Hall ; 1990; 1991Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 34, Shelf No: 33 Call number: 518.713 ALE.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Large, the Small and the Human Mind by Penrose, Roger | Shimony, Abner | Cartwright, Nancy | Hawking, Stephen | Longair, Malcolm Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 9 Call number: 5 PEN.
|
|
|
|
|
Artificial Intelligence : New Synthesis by Nilsson, Nils J. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Singapore ; Harcourt Asia ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 NIL.
|
|
|
|
|
Introduction to Computational Learning Theory by Kearns, Michael J | Vazirani, Umesh V. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Mass., ; MIT Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KEA.
|
|
|
|
|
|
|
|
|
|
Introduction to Artificial Intelligence by Finlay, Janet | Dix, Alan. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; UCL Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FIN.
|
|
|
|
|
Symbolic logic and mechanical theorem proving by Chang, Chin-Liang | Lee, Richard Char-Tung. Series: Computer Science ClassicsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; AP ; 1973Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CHA.
|
|
|
|
|
|
