发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Type analysis of prolog using type graphs

Type analysis of prolog using type graphs

Pascal Van Hentenryck; Agostino Cortesi; Baudouin Le Charlier

作者Pascal Van Hentenryck; Agostino Cortesi; Baudouin Le Charlier
卷第22卷
期第3期
印刷ISSN0743-1066
文件大小1734.18KB
发表时间1995
DOI10.1016/0743-1066(94)00021-w
页码179-209

← 返回【学霸图书馆】主页