Declarative Semantics of Logic Programs on Parameterized Representation Systems

Declarative Semantics of Logic Programs on Parameterized Representation Systems
复制标题

参数化表示系统上逻辑程序的声明语义

DOI:
10.1016/b978-0-12-037105-1.50010-5
复制
发表时间:
1993
期刊:
--
影响因子:
--
通讯作者:
K. Akama
K. Akama
中科院分区:
--
文献类型:
--
作者:
K. Akama

文献摘要

被引文献

相似文献