Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
复制标题
合取部分演绎：基础、控制、算法和实验
DOI：
10.1016/s0743-1066(99)00030-8
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
M. Sørensen
中科院分区：
文献类型：
--
作者：
D. D. Schreye;R. Glück;J. Jørgensen;M. Leuschel;Bern Martens;M. Sørensen
