Martin_Davis
Nơi công tác | Đại học New York |
---|---|
Học vấn | Đại học Princeton |
Người hướng dẫn luận án tiến sĩ | Alonzo Church |
Quốc tịch | Mỹ |
Nổi tiếng vì | Thuật toán Davis-Putnam Thuật toán DPLL |
Sinh | 1928 Thành phố New York |
Giải thưởng | Giải Chauvenet (1975) |