|
|
|
|
|
|
|
|
|
|
|
Engines of Logic: mathematicians and the origin of the computer by Davis, Martin. Edition: 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Norton ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAV.
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9450 | Lecture Notes in Computer Science ; 9450Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|