文件名称：Davis-可计算性与复杂度
文件大小：1.73MB
文件格式：DJVU
更新时间：2021-01-24 13:39:37
可计算性 复杂度
Davis is the co-inventor of the Davis–Putnam algorithm and the DPLL algorithms. He is also known for his model of Post–Turing machines, and his work on Hilbert's tenth problem leading to the MRDP theorem.