科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用DPLL和替换集有效确定命题逻辑
Leonardo De Moura; Nikolaj Bjørner;
机译:使用DPLL和替换集确定有效的命题逻辑
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:概率逻辑中命题公式的量化:可判定性问题
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:机动车用户导航辅助方法,涉及根据代表车辆行驶的参数和/或车辆功能参数,沿着模糊逻辑算法在给定时刻决定一个声音设定点的激活。
机译:确定电话的呼叫指示的方法,尤其是通过有效地确定呼叫指示来优化待机时间和检测概率的方法
机译:用于机动车辆的决策者系统的设备逻辑分析方法,包括在图形和/或矩阵上形成逻辑,以及通过确定通过图形和/或矩阵的边缘形成的路径来基于图形和/或矩阵来分析逻辑。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。