Universal logical reasoning Automated theorem proving Higher-order logic;
机译:通用(元)逻辑推理:智者之谜(Isabelle / HOL数据集)
机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通用(元)逻辑推理:最近的成功
机译:Isabelle / HOL中用于证明方法推荐的简单数据集
机译:关于类推推理和人类能力的一些剩余难题。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:普遍(Meta-)逻辑推理:智者益智(伊莎贝尔/ HOL数据集)