机译:Tableaux和Dual Tableaux:证明的转换
机译:完全还原的Krivine抽象机KN以锁步方式模拟纯正序减少:通过相应演算的证明
机译:λ演算中的可约性证明
机译:用于减小证明尺寸的Tableaux微积分
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:梗死开始后血红素加氧酶-1的上调降低了死亡率梗死面积和左心室重塑:实验证据和概念证明
机译:用于减少证明尺寸的Tableaux微积分
机译:自动推理在证明翻译和寻找具有特定属性的证据中的应用:在多值句子演算中的案例研究。