Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005

大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005


名称	Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005

索引号	TP301-53/E991/20
分类号	TP301-53/E991 TP301(理论、方法) TP30(一般性问题) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、
出版社	Los Alamitos, Calif. : IEEE Computer Society, c2004.
ISBN
页数	1 v. (various pagings) : ill. ; 29 cm.
价格
标签
简介
注解	IEEE Computer Society Order Number : P2192. 附註 Includes bibliographical references and index.