机译:通用表中的公理定位
Theoretical Computer Science, TU Dresden, Germany;
Intelligent Systems, University of Leipzig, Germany;
explanation; tableau methods; automated reasoning; pinpointing;
机译:SATPIN:通过增量SAT针对轻量级描述逻辑定位的公理
机译:了解轻量描述逻辑中精确定位公理的复杂性
机译:基于自动机的公理定位
机译:通用表中的公理定位
机译:通过最大化的公理选择:V = Ultimate L VS强制公理
机译:楼梯表非对称排除过程和Askey-Wilson多项式
机译:axiom精确定位于一般画面