中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	basic research in computer science and software engineering at sklcs 期刊论文 OAI收割 Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 1, 页码: 1-11 Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/07/23 concurrency theory real-time system automated reasoning formal specification parallel algorithms software process middleware computer graphics human-computer interaction
	Automated reasoning and equation solving with the characteristic set method 期刊论文 OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 756-764 作者: Wu, Wen-Tsun; Gao, Xiao-Shan \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2018/07/30 characteristic set method automated reasoning first order theory difference equation
	MMP/geometer - A software package for automated geometric reasoning 期刊论文 OAI收割 AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66 作者: Gao, XS; Lin, Q \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2018/07/30 geometry software automated reasoning geometric theorem proving geometric theorem discovering geometric diagram generation intelligent dynamic geometry
	Automated reasoning and exhaustive search: Quasigroup existence problems 期刊论文 OAI收割 Computers & Mathematics with Applications, 1995, 卷号: 29, 期号: 2, 页码: 115-132 J. Slaney; M. Fujita; M. Stickel \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/05/13 Quasigroups Exhaustive search Consistent labeling Automated reasoning programs