Martin Davis

· 78 obras en el catálogo

Obras — página 3

EExtensions and Corollaries of Recent Work on Hilbert's Tenth

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

MMachine Program for Theorem-Proving

Machine Program for Theorem-Proving

CCorrect-Program Technology/Extensibility of Verifiers. Two P

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz

SSet up Your Own Bucket Hydroponics Garden at Home

Set up Your Own Bucket Hydroponics Garden at Home

SSet up Your Own Bucket Aeroponics Garden at Home

Set up Your Own Bucket Aeroponics Garden at Home

SSet up Your Own Aeroponics Garden at Home

Set up Your Own Aeroponics Garden at Home

Lecture Notes on Mathematical Logic

The Undecidable

AA first course in functional analysis (Notes on mathematics

A first course in functional analysis (Notes on mathematics and its applications)

TTonnau Tryweryn

Tonnau Tryweryn

AArnold Palmer

Arnold Palmer

AArthur Marcus Cecil Hill 3rd Baron Sandys of the Second Crea

Arthur Marcus Cecil Hill 3rd Baron Sandys of the Second Creation 1798-1863

SSamuel 1st Baron Sandys 1695-1770

Samuel 1st Baron Sandys 1695-1770

EEdwin 2nd Baron Sandys 1726-1797

Edwin 2nd Baron Sandys 1726-1797

AAugustus Frederick Arthur, 4th Baron Sandys of the Second Cr

Augustus Frederick Arthur, 4th Baron Sandys of the Second Creation, 1840-1904

AArthur Moyses William Hill 2nd Baron Sandys of the Second Cr

Arthur Moyses William Hill 2nd Baron Sandys of the Second Creation 1792-1860

TThree Little Mice at Ombersley Court

Three Little Mice at Ombersley Court

MMuch Ado about a Royal Visit

Much Ado about a Royal Visit

NNotes in the Slow Lane

Notes in the Slow Lane

MMary Marchioness of Downshire and Baroness Sandys, 1764-1836

Mary Marchioness of Downshire and Baroness Sandys, 1764-1836

OOn Tresco

On Tresco

AArthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863

Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863

MMichael Edwin Marcus 5th Baron Sandys, 1855-1948

Michael Edwin Marcus 5th Baron Sandys, 1855-1948

AArthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961

Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961