“如果说有哪一本计算理论方面的书所有的大学图书馆都应该收藏,那就是这本书!” ——Choice杂志 作者简介: Martin D.Davis 著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位,与图灵同门(导师均为计算科学大师Alonzo Church)。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱,还是DPLL算法的发明人之一,Post—Turin9机更使其声名远播。除本书外,他还著有经典名著Computability and Unsolvability。
¥67.10定价:¥79.00 (8.5折)