搜索筛选:
搜索耗时0.4621秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
类      型:
[会议论文] 作者:Weitao Xu,Dexian Zhang,Yang Xu, 来源:2012年全国理论计算机科学学术年会(NCTCS2012) 年份:2012
Resolution-based automated reasoning is one of important research branches in artificial intelligence.The present paper is to provide a more efficient approach...
[会议论文] 作者:Weitao Xu,Yang Xu,Dexian Zhang, 来源:2012年全国理论计算机科学学术年会(NCTCS2012) 年份:2012
Resolution-based automated reasoning is one of important research branches in artificial intelligence.The present paper is to provide a more efficient approach for automated theorem proving....
[期刊论文] 作者:Zhang Yunpeng,Wang Baoshan,Wang Weitao,Xu Yihe,, 来源:Earthquake Research in China 年份:2016
In order to explore the ability of airgun sources in imaging the crustal structure,we conducted an experiment along the Yangzte River at the section from Ma ’a...
[期刊论文] 作者:Chao Wang,Weitao Xu,Honglei Jin,Taijie Zhang,Jianbin Lai,Xuan Zhou,Shengchun Zhang, 来源:分子植物(英文版) 年份:2016
[会议论文] 作者:Chao Wang,Weitao Xu,Honglei Jin,Taijie Zhang,Jianbin Lai,Xuan Zhou,Shengchun Zhang,Shengjie Liu,Xuewu, 来源:2016 年广东省植物生理学会学术年会 年份:2016
  Calcium is important for chloroplasts,including photosynthetic and non-photosynthetic functions.Multiple Ca2+/H+transporters and channels have been describe...
相关搜索: