FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Universal computer : the road from Leibniz to Turing

by Davis, Martin.

Edition: Turing centenary ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton, Fla. : CRC Press, 2012Availability: No items available
Checked out (1).

2. Computability & unsolvability

by Davis, Martin.

Edition: Dover ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1982Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 DAV-C] (1).

3. The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1965Availability: Items available for loan: IIITD [REF 512.8 DAV-U] (1).

4. 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).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available

5. Mrs hudson and the spirits' curse

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: United Kingdom : Canelo Digital Publishing Limited, ©2015Availability: Items available for loan: IIITD [F DAV-M] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in