大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw Poland
名称 Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw Poland
索引号 TP301-53/E991/12
分类号 TP301-53/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logic in Computer Science (12th : 1997 : Warsaw、 Poland)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社 Los Alamitos, Calif : IEEE Computer Society Press, c1997.
ISBN
页数 xiv, 447 p. : ill. ; 28 cm.
价格
标签
简介
注解 "IEEE Computer Society Order number"--T.p. verso. "IEEE Order Plan catalog number 97CB36092"--T.p. verso. 附註 Includes bibliographical references and index. 附注 Online version also available to IEEE Xplore subscribers. Reproduction Microfiche. [Piscataway, N.J. : IEEE Service Center, Institute of Electrical and Electronic Engineers, 1997]. 5 microfiches ; 11 x 15 cm.