ALPprolog - A new logic programming method for dynamic domains
ALPprolog - A new logic programming method for dynamic domains
复制标题
ALPprolog - 一种新的动态域逻辑编程方法
DOI:
10.1017/s1471068411000111
复制
发表时间:
2011
影响因子:
1.4
通讯作者:
DRESCHER C
中科院分区:
文献类型:
--
作者:
DRESCHER C