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

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

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || MOLOG: A modal PROLOG

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || MOLOG: A modal PROLOG

Lusk, Ewing; Overbeek, Ross

作者Lusk, Ewing; Overbeek, Ross
文件大小113.39KB
发表时间1988
DOI10.1007/BFb0012886
页码762-763

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