...
机译:高阶定理证明及其应用
University of Luxembourg Faculty of Science Technology and Communication;
Theorem proving; Automated reasoning; Higher-Order logic; Non-Classical logics; Modal logics;
机译:高阶定理证明及其应用
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:归纳为SAT问题序列的高阶定理
机译:高阶逻辑和定理证明的图表表示
机译:关于交互式定理证明在计算科学和工程中的应用。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。