退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:本征变量,包围和正最小谓词逻辑的可判定性
Dowek Gilles; Jiang Ying;
机译:本征变量,括号和正最小谓词逻辑的可判定性
机译:具有团队语义的谓词逻辑的可判定性
机译:关于单子谓词所扩展的自然的单子阶逻辑的可判定性
机译:具有归纳谓词和算术的分离逻辑中的可确定片段
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:最小直觉逻辑的特征变量,包围和可判定性
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
机译:磁带录音数据的正/负逻辑判定方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。