机构

• 软件研究所 [10]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [9]
• 会议论文 [1]

发表日期

• 2006 [5]
• 2005 [1]
• 2004 [1]
• 2001 [3]

学科主题

• Artificial... [3]
• Computer S... [3]
• Computer S... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |   基于领域本体的半结构化文本知识自动获取方法的设计和实现 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 12, 页码: 2010-2018 王海涛; 曹存根; 高颖   |  收藏  |   practical type checking of functions defined on context-free languages 期刊论文  OAI收割 Journal of Computer Science and Technology, 2004, 卷号: 19, 期号: 6, 页码: 840-847 Chen Haiming; Yun-Mei Dong   |  收藏  |   pattern matching compilation of functions defined in context-free languages 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 卷号: 16, 期号: 2, 页码: 159-167 Chen HM; Dong YM   |  收藏  |   pattern matching compilation of functions defined in context-free languages 期刊论文  OAI收割 Journal of Computer Science and Technology, 2001, 卷号: 16, 期号: 2, 页码: 159-167 Chen Haiming; Yunmei Dong   |  收藏  |   function definition language fdl and its implementation 期刊论文  OAI收割 Journal of Computer Science and Technology, 2001, 卷号: 14, 期号: 4, 页码: 414-421 Chen Haiming   |  收藏  |