本体推理中的应用,自动推理2,标杆管理2,布尔可拓性与模态,组件系统,连接演算,决策程序2,发展支持,Dummett逻辑,进化系统,几何学,网格计算,高阶推理,高阶定理证明,伊莎贝尔,性能方面,素数隐含,命题动态逻辑,QEPCAD公司,量子的,简化,包容,表演算,表格,测试,TPTP语言,尝试,TPTP的类型化高阶形式.