大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
名称 Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
索引号 TP31-53/E9011/4
分类号 TP31-53/E9011
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Berlin ; New York : Springer-Verlag, 1986.
ISBN
页数 ix, 311 p. : ill. ; 25 cm.
价格
标签
简介
注解 Papers presented at the Fourth Logic Programming Conference. 附註 Includes bibliographies.