书城
作者：
(美)马丁·戴维斯(Martin Davis)著其他责任者：
张卜天译出版社：
出版时间：
2018.01ISBN：
978-7-5357-9442-0主题：
电子计算机丛编：
第一推动丛书分丛编题名：
综合系列中图法分类号：
TP302.2【中图法分类】
T 工业技术 ->TP自动化技术、计算机技术 ->TP3计算技术、计算机技术 ->TP30一般性问题【学科分类】
工学 ->计算机科学与技术文件大小：
页码：
298