首页
|
本学科首页
官方微博
|
高级检索
文章检索
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
检索词:
出版年份:
从
到
被引次数:
从
到
他引次数:
从
到
提示:输入*表示无穷大
全文获取类型
收费全文
2篇
免费
0篇
专业分类
综合类
2篇
出版年
2023年
1篇
2006年
1篇
排序方式:
出版年(降序)
出版年(升序)
被引次数(降序)
被引次数(升序)
更新时间(降序)
更新时间(升序)
杂志中文名(升序)
杂志中文名(降序)
杂志英文名(升序)
杂志英文名(降序)
作者中文名(升序)
作者中文名(降序)
作者英文名(升序)
作者英文名(降序)
相关性
共有2条查询结果,搜索用时 15 毫秒
1
1.
"知识战争"中的十大尖端武器
鲁星
《科技潮》
2006,(6):46-47
在21世纪的今天,人们经常谈论“知识就是力量”,而未来的战争也将成为“知识战争”,谁拥有最尖端的武器,谁就占领了胜利的制高点。日前,《新科学家》杂志列举了在未来战争中,能够起到举足轻重作用的十大尖端武器。
相似文献
2.
MTL?谓词逻辑系统公理化真度及其相似度的性质研究
王波
惠小静
马田雨
鲁星
《湖北大学学报(自然科学版)》
2023,(2):198-204
命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.
相似文献
1
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号