大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Proceedings
名称 Proceedings
索引号 TP301-53/E991/1986
分类号 TP301-53/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、
出版社 Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
ISBN
页数 xi, 383 p. : ill. ; 28 cm.
价格
标签
简介
注解 "IEEE Computer Society order number 720." "IEEE catalog number 86CH232-8." 附註 Includes bibliographies and index.