Your search returned 9 results.

Results
	1.	The myth of artificial intelligence : why computers can't think the way we do by Larson, Erik J Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Harvard University Press, ©2021 Availability: Items available for loan: IIITD (1)Call number: 006.3 LAR-M. Place hold Add to cart (remove)
	2.	No cover image available Logic in computer science : modelling and reasoning about systems by Huth, Michael Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (1)Call number: 005.101 HUT-L. Place hold Add to cart (remove)
	3.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	4.	Computational thinking by Denning, Peter J Tedre, Matti Series: The MIT Press Essential Knowledge Series \| The MIT Press Essential Knowledge Series Material type: Text; Format: print Publication details: London : MIT Press, ©2019 Availability: Items available for loan: IIITD (1)Call number: 005.1 DEN-C. Place hold Add to cart (remove)
	5.	Logic of the digital by Evens, Aden Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Bloomsbury, ©2015 Availability: Items available for loan: IIITD (1)Call number: 004.019 EVE-L. Place hold Add to cart (remove)
	6.	A first course in artificial intelligence by Khemani, Deepak Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw Hill, ©2013 Availability: Items available for loan: IIITD (7)Call number: 006.3 KHE-F, ... Items available for reference: IIITD: Not for loan (2)Call number: CBIA 006.3 KHE-F, ... Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	7.	Natural language understanding by Allen, James Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Redwood City : Pearson, ©1995 Availability: Items available for loan: IIITD (1)Call number: 006.35 ALL-N. Items available for reference: IIITD: Not for loan (1)Call number: REF 006.35 ALL-N. Place hold Add to cart (remove)
	8.	Logic in computer science : modelling and reasoning about systems by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L. Place hold Add to cart (remove)
	9.	Quantum computation and quantum information by Nielsen, Michael A Chuang, Isaac L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2009 Availability: Items available for loan: IIITD (3)Call number: 004.1 NIE-Q, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 004.1 NIE-Q. Place hold Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in