科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:修改的稳定模型 - 逻辑程序的语义
Luís Moniz Pereira; Re Miguel Pinto;
机译:一般稳定模型语义学下逻辑程序的表现力
机译:具有任意约束原子的逻辑程序的稳定模型语义表征
机译:带有负数的逻辑程序对稳定模型语义的贡献
机译:修订的稳定模型-逻辑程序的语义
机译:对可靠且稳定的逻辑编程语义的研究。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:模型 - 正常逻辑程序的稳定模型和良好语义的实现
机译:用稳定模型语义实现逻辑程序的局部接地
机译:语义标签应用模型学习设备,语义标签应用设备,语义标签应用模型学习方法和程序
机译:根据语义类别假设修订语言模型分数
机译:基于语义分类假设的修订语言模型评分
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。