退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:属性 - 关系不变的引诱量
Dmitry A. Mordvinov;
机译:不变量的属性定向推断或证明其不存在
机译:在基于k归纳的框架中通过量词消除生成属性导向的潜在不变量
机译:属性导向的增量不变式生成
机译:用于模型检查,检查先验数据冲突和贝叶斯推断的不变过程。
机译:雄性小鼠中Neuroligin-3的突变会影响行为灵活性但在视觉传递推理的触摸屏测试中不会影响关系记忆
机译:关系不变的属性引用
机译:文本推理的统计关系学习和脚本诱导。
机译:用于程序验证的高效不变推理
机译:程序验证的有效不变推论
机译:基于关系元模型和关联域上下文的知识发现和组织知识推理引擎
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。