Author Martin Davis

Martin Davis Photo
Categories: Fiction » Classic, Nonfiction
Avg Rating:
8/10
5

Books by Martin Davis:

Cover A Machine Program for Theorem Proving
A Machine Program for Theorem Proving
A Machine Program for Theorem Proving
9 / 10
Cover Extensions And Corollaries of Recent Work On Hilberts Tenth Problem
Extensions And Corollaries of Recent Work On Hilberts Tenth Problem
Extensions And Corollaries of Recent Work ...
8 / 10
Cover A Formal Notion of Program Based Test Data Adequacy
A Formal Notion of Program Based Test Data Adequacy
A Formal Notion of Program Based Test Data...
8 / 10
Cover Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
7 / 10
+Write review

User Reviews:

Write Review:

Guest

Guest