Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark,July 29-August 1, 2002 : proceedings

大拱桥--暨南大学学生门户 » 图书馆 » 程序设计 » Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark,July 29-August 1, 2002 : proceedings


名称	Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark,July 29-August 1, 2002 : proceedings

索引号	TP311.1-532/E20031/18
分类号	TP311.1-532/E20031 TP311.1(程序设计) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	International Conference on Logic Programming (18th : 2002 : University of Copenhagen)、Stuckey、 Peter J.、Federated Logic Conference (3rd : 2002: Copenhagen、 Denmark)、
出版社	Berlin ; London : Springer, c2002.
ISBN
页数	xi, 486 p. : ill. ; 24 cm.
价格
标签
简介
注解	"The International Conference on Logic Programming was part of the Federated Logic Conference ... and took place in the periodJuly 27th to August 1st"--P. [v]. 附註 Includes bibliographical references and index. 附注 Also available on the World Wide Web; access restricted to subscribers with a site license; a PDF viewer is needed to view articles.