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. ).