Can Hamblin's Alternative Semantics Replace Unselective Binding?
Can Hamblin's Alternative Semantics Replace Unselective Binding?
复制标题
汉布林的替代语义可以取代非选择性绑定吗？
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
伊藤さとみ
中科院分区：
文献类型：
--
作者：
李 連珠(厳 翼相;遠藤 光暁編);伊藤さとみ
登录
查看更多内容
Prolog 的指称和操作语义
DOI：
10.1016/0743-1066(88)90007-6
发表时间：
1988
期刊：
--
影响因子：
--
作者：
S. Debray;Prateek Mishra
通讯作者：
Prateek Mishra
结构抽象及其在逻辑编程中的应用
DOI：
10.1007/3-540-45788-7_17
发表时间：
2002
期刊：
--
影响因子：
--
作者：
António Porto
通讯作者：
António Porto
考虑在《逻辑编程理论与实践》中发表 Prolog Cut 的见证属性和语义
DOI：
--
发表时间：
2002
期刊：
--
影响因子：
--
作者：
J. Andrews
通讯作者：
J. Andrews
NU-Prolog 中的否定和量词
DOI：
10.1007/3-540-16492-8_111
发表时间：
1986
期刊：
--
影响因子：
--
作者：
L. Naish
通讯作者：
L. Naish
Prolog 的 pi 演算规范
DOI：
10.1007/3-540-57880-3_25
发表时间：
1993
期刊：
--
影响因子：
--
作者：
Zhenzhong Li
通讯作者：
Zhenzhong Li