退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:命题逻辑作为命题模糊逻辑
Bedregal Benjamín René Callejas; Cruz Anderson Paiva;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:模糊标记的模糊主题动态逻辑模糊标记过渡系统的模糊模拟
机译:模糊命题逻辑和双面(直觉)模糊命题
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:经典命题逻辑与变量的可判定性 直觉主义命题逻辑
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。