标题 |
Ordered completion for logic programs with aggregates
具有聚合的逻辑程序的有序完成
相关领域
正多边形
单调多边形
骨料(复合)
背景(考古学)
班级(哲学)
水准点(测量)
类型(生物学)
集合(抽象数据类型)
封面(代数)
计算机科学
解算器
翻译(生物学)
数学
理论计算机科学
算法
离散数学
人工智能
程序设计语言
几何学
机械工程
大地测量学
生态学
地理
材料科学
化学
复合材料
古生物学
工程类
生物化学
信使核糖核酸
基因
生物
|
网址 | |
DOI | |
其它 |
期刊:Artificial Intelligence 作者:Vernon Asuncion; Yin Chen; Yan Zhang; Yi Zhou 出版日期:2015-04-01 |
求助人 | |
下载 | 求助已完成,仅限求助人下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|