Case-Marking in Smaller Clauses: A Preliminary Approach
Case-Marking in Smaller Clauses: A Preliminary Approach
复制标题
小条款中的格标记：初步方法
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Naomi Harada
中科院分区：
文献类型：
--
作者：
HARADA;Naomi;Naomi Harada
登录
查看更多内容
子句直觉逻辑 II - Tableau 证明程序
DOI：
10.1016/0743-1066(88)90014-3
发表时间：
1988
期刊：
J. Log. Program.
影响因子：
--
作者：
L. T. Mccarty;L. Mccarty;P. AQj
通讯作者：
P. AQj
逻辑程序中的抽象
DOI：
--
发表时间：
1989
期刊：
--
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller
在逻辑编程语言 Lambda-Prolog 中实现模块的概念
DOI：
10.1007/3-540-56454-3_18
发表时间：
1992
期刊：
--
影响因子：
--
作者：
Keehang Kwon;G. Nadathur;D. S. Wilson
通讯作者：
D. S. Wilson
N-Prolog：具有假设含义的 Prolog 扩展 I
DOI：
10.1016/0743-1066(84)90029-3
发表时间：
1984
期刊：
J. Log. Program.
影响因子：
--
作者：
D. Gabbay;Uwe Reyle
通讯作者：
Uwe Reyle
Lambda-Prolog 实现的架构：Prolog/Mali
DOI：
--
发表时间：
1994
期刊：
--
影响因子：
--
作者：
P. Brisset;O. Ridoux
通讯作者：
O. Ridoux