Compositionality of Normal Open Logic Programs-猫眼课题宝

常开逻辑程序的组合性

DOI：

10.1016/s0743-1066(99)00003-5

发表时间：

1997

期刊：

J. Log. Program.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

Sofie Verbaeten;M. Denecker;D. D. Schreye