大拱桥--暨南大学学生门户 » 图书馆 » 程序语言、算法语言 » Extensions and applications of higher-order unification
名称 Extensions and applications of higher-order unification
索引号 TP312/E9967
分类号 TP312
TP312(程序语言、算法语言)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Elliott、Conal M.、
出版社 Pittsburgh, Pa : Carnegie Mellon Univ., 1990.
ISBN
页数 iii, 134 p. ; 27 cm.
价格
标签
简介
注解 May 1990. [Research paper] / Carnegie Mellon University. School of Computer Science, CMU-CS-90-134