大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
名称 Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
索引号 TP301-53/E991/13
分类号 TP301-53/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、
出版社 Los Alamitos, California : IEEE Computer Society Press, c1998.
ISBN
页数 xv, 538 p. : ill. ; 28 cm.
价格
标签
简介
注解 [IEEE Computer Society Order Number] "PR8506"--verso of T.p "IEEE Order Plan Catalog Number 98CB36226"--verso of T.p 附註 Includes bibliographical references and author index. 附注 Also available in print Reproduction Electronic reproduction. Mode of access: World Wide Web. Restricted to UC campuses