大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Proceedings, 15th annual Symposium on Logic in Computer Science [electronic resource] : June 26-28, 2000, Santa Barbara, California
名称 Proceedings, 15th annual Symposium on Logic in Computer Science [electronic resource] : June 26-28, 2000, Santa Barbara, California
索引号 TP301-53/E991/15
分类号 TP301-53/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logic in Computer Science (15th : 2000 : Santa Barbara、 Calif.)、IEEE Xplore (Online service)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社 Los Alamitos, Calif. : IEEE Computer Society, c2000.
ISBN
页数 xiii, 425 p. : ill. ; 28 cm.
价格
标签
简介
注解 "IEEE Computer Society [order number] 00PR0725"--T.p. verso [IEEE order plan catalog number] "00CB37133"--Spine 附註 Includes bibliographical references and index 附注 Also available in print Reproduction Electronic reproduction. Mode of access: World Wide Web. Restricted to UC campuses