...
机译:等价推理与延迟子句范式转换的叠加
MPI Informat, D-66123 Saarbrucken, Germany;
automated theorem proving; deduction; rewriting; clause-normal-form transformation; logical equivalence; superposition; paramodulation; first-order logic; set theory;
机译:3D共形变换的等价属性及其在反转变换中的应用
机译:保留序半群上的格林等价关系和等价关系
机译:保留序半群上的格林等价性和等价关系
机译:等价推理与延迟子句范式转换的叠加
机译:上下文等效和上下文无关的范式。
机译:通过刚体转换将分子结构同时多重叠加。
机译:等价推理与延迟子句范式转换的叠加
机译:marylie代码使用的michelotti正规形式和地图正规形式的等价性。