A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Davis, Martin, The Universal Computer (2000) |
| Davis, Martin ; et al., Handbook of Automated Reasoning, Volume 1 (2001) |
| Davis, Martin; Putnam, Hilary, Feasible Computational Method in the Propositional Calculus (1958) |
| Davis, Martin; Putnam, Hilary, A Computational Proof Procedure; Axioms for Number Theory; Research on Hilbert's Tenth Problem (1959) |
| Davis, Martin; Putnam, Hilary, Diophantine Sets Over Polynomial Rings (1961) |
| Davis, Morton, Infinite Games of Perfect Information (1964) |
| Davis, Morton, Infinite Games of Perfect Information (1978) |
| Davoren, Jennifer, A Lazy Logician's Guide to Linear Logic (1992) |
| Davoren, Jennifer, A Lazy Logician's Guide to Linear Logic (1992) |
| Davoren, Jennifer, A Lazy Logician's Guide to Linear Logic (1992) |