机构

• 软件研究所 [5]

采集方式

• OAI收割 [5]

内容类型

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

发表日期

• 2011 [3]
• 2004 [1]
• 2003 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 extending fuzzy soft sets with fuzzy description logics 期刊论文  OAI收割 Knowledge-Based Systems, 2011, 卷号: 24, 期号: 7, 页码: 1096-1107 Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation   semantic operations of multiple soft sets under conflict 期刊论文  OAI收割 Computers and Mathematics with Applications, 2011, 卷号: 62, 期号: 4, 页码: 1923-1939 Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation  Ontology  Set theory   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |  浏览/下载：33/0  |  提交时间：2013/10/08 Algorithms  Computability and decidability  Data description  Formal languages  Knowledge representation  Semantic Web  Semantics  User interfaces   automatic generation of symbolic model for parameterized synchronous systems 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 6, 页码: 812-819 Xu WW   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 parameterized system  formal verification  symbolic representation   conformance test of distributed transaction service 会议论文  OAI收割 12th Asian Test Symposium, XIAN, PEOPLES R CHINA, NOV 16-19, Xu C; Jin BH   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 J2EE application servers  JTA specifications  JTS specifications  Java transaction API  Java transaction service  conformance test  distributed computing environment  distributed transaction manager  distributed transaction service  formal representation