LLPTTP : Theorem Prover using Compiler of a Linear Logic Programming Language
LLPTTP : Theorem Prover using Compiler of a Linear Logic Programming Language
复制标题
LLPTTP：使用线性逻辑编程语言编译器的定理证明器
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
M.Banbara
中科院分区：
文献类型：
--
作者：
N.Tamura;M.Banbara
登录
查看更多内容
高阶逻辑作为逻辑编程的基础
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
G. Nadathur
通讯作者：
G. Nadathur
DOI：
10.1007/bfb0012823
发表时间：
1988
期刊：
--
影响因子：
--
作者：
A. Felty;D. Miller
通讯作者：
D. Miller
遗传哈罗普公式和统一证明系统
DOI：
--
发表时间：
1987
期刊：
--
影响因子：
--
作者：
D. Miller;G. Nadathur;A. Scedrov
通讯作者：
A. Scedrov
Elf：一种用于逻辑定义和验证元编程的语言
DOI：
10.1109/lics.1989.39186
发表时间：
1989
期刊：
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
影响因子：
--
作者：
F. Pfenning
通讯作者：
F. Pfenning
DOI：
10.1016/0004-3702(77)90012-1
发表时间：
1977
期刊：
Artif. Intell.
影响因子：
--
作者：
W. Bledsoe
通讯作者：
W. Bledsoe