大拱桥--暨南大学学生门户 » 图书馆 » 算法理论 » Logic of computation
名称 Logic of computation
索引号 TP301.6-532/E994
分类号 TP301.6-532
TP301.6(算法理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Berlin ; New York : Springer, c1997.
ISBN
页数 vi, 394 p. ; 24 cm.
价格
标签
简介
注解 Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995. Includes bibliographical references (p. ).