Consistency of Clark's completion and existence of stable models. 论文

1994引用 328
Logic, Reasoning, and Knowledge
Logic, Reasoning, and Knowledge
关系图谱

1

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

F

François Fages

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据