Christian B. Suttner
Christian B. Suttner
Fausto Giunchiglia; Toby Walsh
Fausto Giunchiglia; Toby Walsh
An extension of a procedure to prove statements in differential geometry [0.03%]
微分几何中用于证明命题的一种方法的扩展
Giuseppa Carra' Ferro
Giuseppa Carra' Ferro
Inference flexibility in Horn clause knowledge bases and the simplex method [0.03%]
Horn子句知识库中的推理灵活性与单纯形法
Jinchang Wang
Jinchang Wang
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations [0.03%]
一种C语言风格内存模型的形式化验证及其在程序变换验证中的应用
Xavier Leroy; Sandrine Blazy
Xavier Leroy; Sandrine Blazy
Monty Newborn; Zongyan Wang
Monty Newborn; Zongyan Wang
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry [0.03%]
微分几何中自动定理证明的克利福德代数约简方法
Li Hongbo; Cheng Minteh
Li Hongbo; Cheng Minteh
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus [0.03%]
攻克XCB问题：等值演算最后最短单一公理的方法论发现
Larry Wos; Dolph Ulrich; Branden Fitelson
Larry Wos; Dolph Ulrich; Branden Fitelson
Koen Claessen; Ann Lillieström
Koen Claessen; Ann Lillieström