大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Logic in computer science [electronic resource] : proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts
名称 Logic in computer science [electronic resource] : proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts
索引号
分类号
(| 08 环境公报)
作者 Symposium on Logic in Computer Science (16th : 2001 : Boston、 Mass.)、IEEE Xplore (Online service)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社 Los Alamitos, Calif. : IEEE Computer Society, c2001.
ISBN
页数 xii, 441 p. : ill. ; 28 cm.
价格
标签
简介
注解 "IEEE Computer Society Order Number PR01218"--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