退出
我的积分:
中文文献批量获取
外文文献批量获取
蔡羽;
辽宁广播电视大学;
形式逻辑基本规律; 数理逻辑; 逻辑公式; 普通逻辑; 自然语言; 命题逻辑; 逻辑形式; 命题公式; 人工语言; 重言式;
机译:具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
机译:经典命题逻辑中的同构公式
机译:Lukasiewicz n值命题逻辑中公式的真度理论和极限定理
机译:依赖于命题逻辑:公式依赖性和公式遗忘 - 申请信仰更新和保守延期
机译:认知价值和准确表述
机译:通过比较精确公式和近似公式来检查国际归一化比率(INR)的不准确性。山间实验室数据项目。
机译:当CT和MRI不能提供足够的准确度时?:PET-CT对头颈部恶性肿瘤患者的评估有希望的贡献?而CT和MRI都不能提供足够的准确性时?评估头颈部恶性病变的患者
机译:将分离公式简化为命题逻辑
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。