首页
|
本学科首页
官方微博
|
高级检索
文章检索
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
检索词:
出版年份:
从
到
被引次数:
从
到
他引次数:
从
到
提示:输入*表示无穷大
全文获取类型
收费全文
2篇
免费
0篇
专业分类
航空
1篇
航天技术
1篇
出版年
2003年
1篇
1992年
1篇
排序方式:
出版年(降序)
出版年(升序)
被引次数(降序)
被引次数(升序)
更新时间(降序)
更新时间(升序)
杂志中文名(升序)
杂志中文名(降序)
杂志英文名(升序)
杂志英文名(降序)
作者中文名(升序)
作者中文名(降序)
作者英文名(升序)
作者英文名(降序)
相关性
共有2条查询结果,搜索用时 0 毫秒
1
1.
尽快冲出SARS的阴霾
谢康
《国际航空》
2003,(6)
SARS病毒对人类的生命带来了极大的威胁,同时也威胁到许多相关行业,其中损失最惨重的莫过于航空业,SARS带来的“杀伤力”超过了9.11和伊战的总和。在几个月前人们都不会想到会有这样的灾难发生,然而现实告诉我们,它的确是真的
相似文献
2.
基于Lakatos证伪方法论的机器发现逻辑
谢康
孙怀民
《北京航空航天大学学报》
1992,(3):27-35
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。
相似文献
1
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号