Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Engines of logic : mathematicians and the origin of the computer
Engines of logic : mathematicians and the origin of the computer
Author 
Davis, Martin.
Preferred Shelf Number 
QA76.5 D38 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Computability and unsolvability
Computability and unsolvability
Author 
Davis, Martin, 1928-
Preferred Shelf Number 
QA 248.5 D3 1958
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519103.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Alan M. Turing Centenary Edition
Alan M. Turing Centenary Edition
Author 
Turing, Sara. Turing, John F.. Irvine, Lyn. Davis, Martin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The return of Martin Guerre
The return of Martin Guerre
Author 
Davis, Natalie Zemon, 1928-
Preferred Shelf Number 
HV 6699.F8 D29 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies: