New methodology for query answering in default logics via structure-oriented theorem proving

被引：0

作者：

Schaub, T. ^{[1
]}

机构：

[1] IRISA, Rennes, France

来源：

Journal of Automated Reasoning | 1995年 / 15卷 / 01期

关键词：

Formal logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：95 / 165

相关论文

empty

未找到相关数据