Your search returned 6 results.

Results
	1.	Universal computer : the road from Leibniz to Turing by Davis, Martin Edition: Turing centenary ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, Fla. : CRC Press, 2012 Availability: Items available for loan: IIITD (1)Call number: 004 DAV-U. Place hold Add to cart (remove)
	2.	Computability & unsolvability by Davis, Martin Series: McGraw-Hill series in information processing and computers Edition: Dover ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1982 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (1)Call number: 511.3 DAV-C. Place hold Add to cart (remove)
	3.	The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by Davis, Martin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1965 Availability: Items available for loan: IIITD (1)Call number: REF 512.8 DAV-U. Place hold Add to cart (remove)
	4.	Mrs hudson and the spirits' curse by Davis, Martin Material type: Text; Format: print ; Literary form: Not fiction Publication details: United Kingdom : Canelo Digital Publishing Limited, ©2015 Availability: Items available for loan: IIITD (1)Call number: F DAV-H. Place hold Add to cart (remove)
	5.	The universal computer : the road from Leibniz to Turing by Davis, Martin Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Milton : CRC Press, ©2018 Availability: Items available for loan: IIITD (1)Call number: CB 621.381 DAV-U. Place hold Add to cart (remove)
	6.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by Davis, Martin [editor.] Fehnker, Ansgar [editor.] McIver, Annabelle [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9450 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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