退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于委托模型的命题逻辑修订系统
Jiang, Dongchen; Lou, Yihua; Jin, Yi;
机译:基于命题逻辑和信念修正的信息检索逻辑模型
机译:基于量子概率的命题逻辑模型均匀采样的量子算法
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:基于命题逻辑委托模型的修订系统
机译:决议逻辑,GENTZEN系统和文字树。
机译:基于用户收藏的服务提议的装置和方法,服务提议的系统以及服务提议的装置和方法
机译:提议模态逻辑模型的特征生成装置
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。