Order-Sorted Logic Programming with Predicate Hierarchy
Order-Sorted Logic Programming with Predicate Hierarchy
复制标题
具有谓词层次结构的顺序排序逻辑编程
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Ken Kaneiwa
中科院分区：
文献类型：
--
作者：
Ken Kaneiwa
登录
查看更多内容
扣除系统
DOI：
10.1007/978-1-4612-2266-8
发表时间：
1996
期刊：
English Language Teaching
影响因子：
--
作者：
Rolf Socher;Patricia Johann
通讯作者：
Patricia Johann
DOI：
10.1007/978-1-4615-5643-5
发表时间：
1998-03
期刊：
J. Web Semant.
影响因子：
--
作者：
J. Chomicki;G. Saake
通讯作者：
J. Chomicki;G. Saake
从逻辑到逻辑编程
DOI：
--
发表时间：
1994
期刊：
Foundations of computing series
影响因子：
--
作者：
K. Doets
通讯作者：
K. Doets
继承理论——一种人工智能方法
DOI：
--
发表时间：
1995
期刊：
Ablex computational science series
影响因子：
--
作者：
R. Al
通讯作者：
R. Al
类型化逻辑程序的语义
DOI：
--
发表时间：
1992
期刊：
Types in Logic Programming
影响因子：
--
作者：
P. Hill;R. Topor
通讯作者：
R. Topor