计算理论基础:可计算性、复杂性和语言 (美)戴维斯(Davis,M.D.),(美)西加尔(Sigal,R.),(美)韦约 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥88.00定价:¥271.37 (3.25折)
计算理论基础:可计算性、复杂性和语言 (美)戴维斯(Davis,M.D.),(美)西加尔(Sigal,R.),(美)韦约 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥88.00定价:¥253.37 (3.48折)
计算理论基础:可计算性、复杂性和语言 (美)戴维斯(Davis,M.D.),(美)西加尔(Sigal,R.),(美)韦约 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥88.00定价:¥201.37 (4.38折)
计算理论基础 可计算性、复杂性和语言 英文版 第2版,(美)戴维斯(Davis,M.D.),(美)西加尔(Sigal,R
¥55.00定价:¥79.00 (6.97折)
“如果说有哪一本计算理论方面的书所有的大学图书馆都应该收藏,那就是这本书!” ——Choice杂志 作者简介: Martin D.Davis 著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位,与图灵同门(导师均为计算科学大师Alonzo Church)。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱,还是DPLL算法的发明人之一,Post—Turin9机更使其声名远播。除本书外,他还著有经典名著Computability and Unsolvability。
¥67.10定价:¥79.00 (8.5折)