机译:关于自动定理证明的正构造公式的演算
Automated theorem proving; Mathematical logic; Nonclassical logics; Artificial intelligence;
机译:关于自动定理证明的正构造公式的演算
机译:使用邻近度进行微积分:学生可以实际证明定理的数学方法:开放式数学
机译:从田中公式到伊藤公式:随机演算的基本定理
机译:基于正构公式的演算的自动定理证明软件
机译:通过翻译成描述逻辑来自动证明定理。
机译:变分微积分中反问题的定理
机译:表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
机译:pVs定理证明中积分微积分的形式化