Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada

大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada


名称	Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada

索引号	TP301-53/E991/18
分类号	TP301-53/E991 TP301(理论、方法) TP30(一般性问题) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Symposium on Logic in Computer Science (18th : 2003 : Ottawa、 Canada)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社	Los Alamitos, Calif. : IEEE Computer Society, c2003.
ISBN
页数	xiv, 393 p. : ill. ; 28 cm.
价格
标签
简介
注解	"IEEE Computer Society Order Number PR01218" -- T.p. verso. 附註 Includes bibliographical references and index.