computability; inference mechanisms; theorem proving; SPIKE; black-box approach; congruence closure procedure; decision procedure; external SMT solvers; implicit induction theorem prover; integration schema; interpreted symbols; linear arithmetic; reasoning modules; Abstracts; Cognition; Concrete; Context; Decision feedback equalizers; Equations; Syntactics;
机译:本原归纳定理桥接隐式归纳方法和高阶重写中的归纳定理
机译:使用隐式函数证明对称空间中扩展类型映射的统一公共不动点定理
机译:表示为整数模的阿贝尔群的叠加定理
机译:在隐式感应定理普罗瓦尔中实施推理模块
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:使用定理证明关于系统生物学的形式推理
机译:在隐式归纳定理证明中实现推理模块
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。