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

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

条数/页: 排序方式:
一种从新鲜海带中提取含碘氨基酸的方法 专利  OAI收割
专利类型: 发明, 专利号: CN200810249531.9, 申请日期: 2010-06-23, 公开日期: 2010-06-23
韩丽君; 李敬; 袁毅; 史大永
收藏  |  浏览/下载:42/0  |  提交时间:2014/08/04
a powerful technique to eliminate isomorphism in finite model search 会议论文  OAI收割
3rd International Joint Conference on Automated Reasoning, Seattle, WA, AUG 17-20,
Jia Xiangxue; Zhang Jian
  |  收藏  |  浏览/下载:12/0  |  提交时间:2011/07/28
A powerful technique to eliminate isomorphism in finite model search 期刊论文  iSwitch采集
Automated reasoning, proceedings, 2006, 卷号: 4130, 页码: 318-331
作者:  
Jia, Xiangxue;  Zhang, Jian
收藏  |  浏览/下载:25/0  |  提交时间:2019/05/10