机构

• 软件研究所 [21]
• 数学与系统科学研究... [14]
• 自动化研究所 [6]
• 遥感与数字地球研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [44]

内容类型

• 期刊论文 [32]
• 会议论文 [10]
• 学位论文 [2]

发表日期

• 2017 [1]
• 2014 [1]
• 2013 [1]
• 2012 [1]
• 2011 [2]
• 2010 [3]
• 更多

学科主题

• Optics [1]
• Physics [1]

筛选

浏览/检索结果: 共44条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344 作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao   |  收藏  |   Combining symmetry reduction with generalized symbolic trajectory evaluation 期刊论文  OAI收割 Computer Journal, 2014, 卷号: 57, 期号: 1, 页码: 115-128 Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)   |  收藏  |   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |   基于PVS的数据库安全策略形式化分析方法 会议论文  OAI收割 首届全国信息安全等级保护技术大会, 桂林, 2012 李昊; 张敏; 王榕   |  收藏  |   no-go theorem for one-way quantum computing on naturally occurring two-level systems 期刊论文  OAI收割 PHYSICAL REVIEW A, 2011, 卷号: 83, 期号: 5, 页码: - Chen Jianxin; Chen Xie; Duan Runyao; Ji Zhengfeng; Zeng Bei   |  收藏  |   dichotomy for holant* problems of boolean domain 会议论文  OAI收割 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan Cai Jin-Yi; Lu Pinyan; Xia Mingji 收藏  |   Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 213-241 作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan   |  收藏  |   Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266 作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan   |  收藏  |   security of the sms4 block cipher against differential cryptanalysis 期刊论文  OAI收割 Journal of Computer Science and Technology, 2010, 卷号: 26, 期号: 1, 页码: 130-138 Su Bo-Zhan; Wu Wen-Ling; Zhang Wen-Tao   |  收藏  |   A characteristic set method for ordinary difference polynomial systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260 作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming   |  收藏  |