Computational Logic — CL 2000
Computational Logic — CL 2000
复制标题
计算逻辑 — CL 2000
DOI：
10.1007/3-540-44957-4
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Peter James Stuckey
中科院分区：
文献类型：
--
作者：
J. Lloyd;V. Dahl;U. Furbach;Manfred Kerber;K. Lau;C. Palamidessi;L. Pereira;Y. Sagiv;Peter James Stuckey
变量绑定器的扩展：概述。. . . . . . . . . . . . . . . . . . . 239 Dale米勒在多结论直觉逻辑中的目标导向证明搜索。. James Harland，Tatjana Lutovac，Michael Winikoff，Efficient EM Learning with Tabulation for Parameterized Logic Programs。269 Yoshitaka Kameya和Taisuke Sato有限区间约束模型生成定理证明。. . . . 285 Reiner Hähnle，Ryuzo Hasegawa，and Yasuyuki Shirai Combining移动的Processes and Declarative Programming . . . . . . . . . . . . . 300 Rachid Echahed和Wendelin Serwe
Syntax for Variable Binders: An Overview . . . . . . . . . . . . . . . . . . . . 239 Dale Miller Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic . . 254 James Harland, Tatjana Lutovac, and Michael Winikoff Efficient EM Learning with Tabulation for Parameterized Logic Programs . 269 Yoshitaka Kameya and Taisuke Sato Model Generation Theorem Proving with Finite Interval Constraints . . . . . 285 Reiner Hähnle, Ryuzo Hasegawa, and Yasuyuki Shirai Combining Mobile Processes and Declarative Programming . . . . . . . . . . . . . 300 Rachid Echahed and Wendelin Serwe