AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:为名义伊莎贝尔直觉逻辑的Craig插值定理提供机械证明
Peter Chapman; James McKinna; Christian Urban;
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:克雷格插值定理的机构独立证明
机译:在名义上伊莎贝尔中直觉逻辑的机械化机械化克雷格的插值定理
机译:(新)直接乘积定理的新证明。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:为名义isabelle中的直觉逻辑机械化Craig插值定理的证明
机译:可以自动传播的数据的二维显示,内插和压缩涉及使用柯西积分定理,如果合适的话,可以使用残差定理进行内插公式
机译:通过应用值和规则来确定提议的逻辑定理,这些值和规则是根据布尔公式生成的三元组
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。