IMSc Library catalog › Results of search for 'ccl=su:"Artificial intelligence" and itype:BK'

Your search returned 2 results.

Not what you expected? Check for suggestions

			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. Place hold Log in to add tags
			Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California by Halpern, Joseph Y \| Halpern, Joseph Y. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL. Place hold Log in to add tags