#### Filter Results:

- Full text PDF available (24)

#### Publication Year

1953

2016

- This year (0)
- Last 5 years (4)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Martin D. Davis, George Logemann, Donald W. Loveland
- Commun. ACM
- 1962

The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

- Martin D. Davis, Hilary Putnam
- J. ACM
- 1960

The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for obtaining mathematical theorems goes back to Leibniz and has been revived by Peano around the turn of the century and by Hilbert's school in the 1920's. Hilbert, noting that all of classical mathematics could be formalized within… (More)

- Martin D. Davis
- McGraw-Hill Series in Information Processing and…
- 1958

- Martin D. Davis, Elaine J. Weyuker
- Computer science and applied mathematics
- 1983

- Martin D. Davis, Elaine J. Weyuker
- ACM Annual Conference
- 1981

The most commonly used method of validating a program is by testing. The programmer typically runs the program on some test cases, and if and when they run correctly, the program is considered to be correct.
We know that many difficult problems are associated with testing. One such problem is that it is a fundamental part of the testing process to require… (More)

- Martin D. Davis
- Handbook of Automated Reasoning
- 2001

- Savio P D'Souza, Martin Davis, Gary F Baxter
- Pharmacology & therapeutics
- 2004

The natriuretic peptides, atrial natriuretic peptide (ANP), brain natriuretic peptide (BNP), and C-type natriuretic peptide (CNP), are a family of polypeptide mediators exerting numerous actions in cardiovascular homeostasis. ANP and BNP are cardiac derived, being secreted and up-regulated in myocardium in response to many pathophysiological stimuli. CNP is… (More)

- Martin D. Davis
- Artif. Intell.
- 1980

- Martin D. Davis
- Information and Control
- 1982