Martin Davis Summary

Everything you need to understand or teach Martin Davis.

Study Pack

The Martin Davis Study Pack contains:

Biographies (1)

739 words, approx. 3 pages
Martin Davis is best known for his early work on automated deduction and for his contributions to the negative solution of Hilbert's tenth problem.Martin David Davis was born in New York City in 1928.... Read more