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

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

Compositional operational semantics for Prolog programs

Compositional operational semantics for Prolog programs

M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden

作者M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden
卷第10卷
期第3期
印刷ISSN0288-3635
电子ISSN1882-7055
文件大小635.07KB
发表时间1992-08
DOI10.1007/bf03037941
页码315-328

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