中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共6条,第1-6条 帮助

条数/页: 排序方式:
Shock pressure induced by glass-confined laser shock peening: Experiments, modeling and simulation 会议论文  OAI收割
9th Workshop on Piezoresponse Force Microscopy (PFM)/10th International Symposium on Ferroic Domains, Prague, CZECH REPUBLIC, SEP 22-24, 2010
作者:  
Wu XQ(吴先前);  Duan ZP(段祝平);  Song HW(宋宏伟);  Wei YP(魏延鹏);  Wang X(王曦)
收藏  |  浏览/下载:193/0  |  提交时间:2013/02/26
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
  |  收藏  |  浏览/下载:23/0  |  提交时间:2018/07/30
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
  |  收藏  |  浏览/下载:20/0  |  提交时间:2018/07/30
A survey on semi-tensor product of matrices 期刊论文  OAI收割
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2007, 卷号: 20, 期号: 2, 页码: 304-322
作者:  
Cheng, Daizhan;  Qi, Hongsheng;  Xue, Ancheng
  |  收藏  |  浏览/下载:26/0  |  提交时间:2018/07/30
MMP/geometer - A software package for automated geometric reasoning 期刊论文  OAI收割
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:  
Gao, XS;  Lin, Q
  |  收藏  |  浏览/下载:19/0  |  提交时间:2018/07/30
EFFECTS OF FRACTAL CRACK 期刊论文  OAI收割
Theoretical and Applied Fracture Mechanics, 1995, 卷号: 23, 期号: 3, 页码: 235-244
H. Xie
收藏  |  浏览/下载:17/0  |  提交时间:2012/04/14