中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共11条，第1-10条 帮助

条数/页： 排序方式：
兼语语义类的分类研究 期刊论文  OAI收割
计算机应用研究, 2017, 卷号: 34.0, 期号: 1.0, 页码: 15
作者:  李婷玉;  王亚;  曹聪;  张再跃;  曹存根
  |  收藏  |  
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文  OAI收割
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
  |  收藏  |  
基于语义文法的地理实体位置关系的获取 期刊论文  OAI收割
计算机科学, 2016, 卷号: 43.0, 期号: 007, 页码: 208
作者:  周琦;  陆叶;  李婷玉;  王亚;  张再跃
  |  收藏  |  
汉字种子混淆集的构建方法研究 期刊论文  OAI收割
计算机科学, 2014, 卷号: 41.0, 期号: 008, 页码: 229
作者:  施恒利;  刘亮亮;  王石;  符建辉;  张再跃
  |  收藏  |  
社会群体角色本体的构建方法研究 期刊论文  OAI收割
计算机科学, 2012, 卷号: 39.0, 期号: 002, 页码: 222
作者:  江利萍;  曹存根;  张再跃
  |  收藏  |  
Types, structures and theories in NKI 期刊论文  OAI收割
Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 4, 页码: 451
作者:  Xiaoru Zhang;  Zaiyue Zhang;  Yuefei Sui
  |  收藏  |  
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic 期刊论文  OAI收割
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 368, 期号: 1-2, 页码: 149-160
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen;  Wu, Guohua
  |  收藏  |  
Further study of the fuzzy reasoning based on propositional modal logic 期刊论文  OAI收割
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Ca, Cungen
  |  收藏  |  
A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs 期刊论文  OAI收割
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 588-600
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen
  |  收藏  |  
The rough logic and roughness of logical theories 期刊论文  OAI收割
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 610-617
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
  |  收藏  |