大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logic for applications = 应用逻辑
名称 Logic for applications = 应用逻辑
索引号 TP301/E20071.2
分类号 TP301
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Nerode、 Anil、 1932-、Shore、 Richard A.、 1946-、
出版社 北京 : China Machine Press, 2006.
ISBN
页数 xiii, 456 p. : ill. ; 25 cm.
价格
标签
简介
注解 Reprint. Originally published: New York : Springer, c1997, 2nd ed. 0387948937 (hc : alk. paper)