大拱桥--暨南大学学生门户 » 图书馆 » 程序设计、软件工程 » Constraint satisfaction in logic programming
名称 Constraint satisfaction in logic programming
索引号 TP311/E906
分类号 TP311
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Van Hentenryck、 Pascal.、
出版社 Cambridge, Mass. : MIT Press, 1989.
ISBN
页数 xvi, 224 p. : ill. ; 24 cm.
价格
标签
简介
注解 Revision of the author's thesis (Ph. D.)--University of Namur, 1987. Includes index. 附註 Bibliography: p. [211]-220.