退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用定理证明通过定理证明确定可满足性
Maria Paola Bonacina; Christopher A. Lynch; Leonardo De Moura;
机译:用推论推理证明定理证明可满足性
机译:带有可满足模理论求解器的多值逻辑的自动定理证明
机译:基于定理证明的封闭世界语义下开放关系查询的推理控制
机译:用DPLL(Γ+Τ)确定可满足性和不合理定理证明
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:自动证明信息处理定理的方法和装置
机译:布尔可满足性的确定方法和采用二进制决策图的图像计算方法
机译:从命题逻辑证明可满足逻辑公式的加密手段
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。