中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共2条,第1-2条 帮助

条数/页: 排序方式:
efficient loop-extended model checking of data structure methods 会议论文  OAI收割
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011
Yi Qiuping; Liu Jian; Shen Wuwei
  |  收藏  |  浏览/下载:21/0  |  提交时间:2013/10/08
termination prediction for general logic programs 期刊论文  OAI收割
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 6, 页码: 751-780
Shen Yi-Dong; De Schreye Danny; Voets Dean
  |  收藏  |  浏览/下载:20/0  |  提交时间:2011/03/18