14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy

大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » 14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy


名称	14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy

索引号	TP301-53/E991/14
分类号	TP301-53/E991 TP301(理论、方法) TP30(一般性问题) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社	Los Alamitos, Calif : IEEE Computer Society Press, c1999.
ISBN
页数	xii, 478 p. : ill. ; 28 cm.
价格
标签
简介
注解	[IEEE Computer Society order number] "PR0158"--T.p. verso. "IEEE order plan catalog number 99CB36332"--T.p verso. 附註 Includes bibliographical references and index. 附注 Online version also available to IEEE Xplore subscribers.