大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logic in computer science [electronic resource] : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
名称 Logic in computer science [electronic resource] : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
索引号 TP301-53/E991/17
分类号 TP301-53/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、
出版社 Los Alamitos, Calif. : IEEE Computer Society, c2002.
ISBN
页数 1 v. (various pagings) : ill. ; 28 cm.
价格
标签
简介
注解 "IEEE Computer Society Order Number PR01483"--T.p. verso 附註 Includes bibliographical references and author index. 附注 Also available in print Reproduction Electronic reproduction. Mode of access: World Wide Web. Restricted to UC campuses