CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Well-behaved inference rules for first-order theorem proving 期刊论文
JOURNAL OF AUTOMATED REASONING, 1998, 卷号: 21, 期号: 3, 页码: 381-400
作者:  Wu, JZ;  Liu, ZJ
收藏  |  浏览/下载:8/0  |  提交时间:2018/07/30
企业经营决策支持系统中的若干理论问题研究 学位论文
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1998
作者:  司昕
收藏  |  浏览/下载:27/0  |  提交时间:2015/09/02
Star transformations and their genealogical varieties in symbolic dynamics of four letters 期刊论文
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1998, 卷号: 31, 期号: 42, 页码: 8431-8450
作者:  Liu, HZ;  Zhou, Z;  Peng SL(彭守礼)
收藏  |  浏览/下载:16/0  |  提交时间:2016/03/30
Aggregation of land surface parameters in the oasis-desert systems of north-west China 期刊论文
HYDROLOGICAL PROCESSES, 1998, 卷号: 12, 期号: 13-14, 页码: 2133-2147
作者:  Wang, J;  Bastiaanssen, WGM;  Ma, YM;  Pelgrum, H
收藏  |  浏览/下载:20/0  |  提交时间:2019/10/08
A class of nonmonotone trust region algorithms for unconstrained optimization problems 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1998, 卷号: 41, 期号: 9, 页码: 927-932
作者:  Ke, XW
收藏  |  浏览/下载:7/0  |  提交时间:2018/07/30
中国泥石流滑坡编目数据库与区域规律研究 文集
1998
作者:  谢洪;  李泳
收藏  |  浏览/下载:124/0  |  提交时间:2012/06/15
Control curve design for nonlinear (or fuzzy) proportional actions using spline-based functions 期刊论文
AUTOMATICA, 1998, 卷号: 34, 期号: 9, 页码: 1125-1133
作者:  Hu, BG;  Mann, GKI;  Gosine, RG
收藏  |  浏览/下载:21/0  |  提交时间:2015/11/08
Mechanism of the coherent control of the photoionization and photodissociation of HI and DI 期刊论文
chemical physics, 1998, 卷号: 233, 期号: 2-3, 页码: 335-341
作者:  Fiss, JA;  Zhu, LC;  Suto, K;  He, GZ;  Gordon, RJ
收藏  |  浏览/下载:11/0  |  提交时间:2015/11/09
Far- and near-field second-harmonic imaging of ferroelectric domain walls 期刊论文
http://dx.doi.org/10.1016/S0030-4018(98)00176-X, 1998
Bozhevolnyi, SI; Pedersen, K; Skettrup, T; Zhang, XS; Belmonte, M; 张向苏
收藏  |  浏览/下载:2/0  |  提交时间:2015/07/22
IMAGES  LITAO3  
电子数据交换翻译软件的设计与实现 学位论文
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1998
韩炬
收藏  |  浏览/下载:21/0  |  提交时间:2015/09/02


©版权所有 ©2017 CSpace - Powered by CSpace