退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:确定有限值签名逻辑中命题公式的可满足性
Victor Chepoi; Nadia Creignou; Miki Hermann; Gernot Salzer;
机译:概率逻辑中命题公式的量化:可判定性问题
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:有限格值命题逻辑中的α可满足性及其α锁定分辨率
机译:决定有限估值签名逻辑中命题公式的可靠性
机译:命题知识的推理:布尔可满足性和知识汇编的框架。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:Qubos:使用命题可满足性求解器确定量化布尔逻辑
机译:将分离公式简化为命题逻辑
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。