机译:在HOL中自动自动逻辑,在类别理论中具有实验应用
Free logic; Classical higher-order logic; Category theory; Interactive and automated theorem proving;
机译:在HOL中自动化自由逻辑,并在类别理论中进行实验应用
机译:免费电子期刊的经验:类别的理论和应用
机译:使用实验数据的高速公路捆绑连接和自动化车辆应用的实证分析
机译:在Isabelle / HOL中自动化自由逻辑
机译:CAT(+小类的分类)中的同态限制,及其在代数K-理论和循环空间理论中的应用。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:Scripta Nanent:与免费电子期刊的经验:类别的理论和应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。