Extensions for open default theories via the domain closure assumption

被引:0
|
作者
Technion - Israel Inst of Technology, Haifa, Israel [1 ]
机构
来源
J Logic Comput | / 2卷 / 169-187期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条