2024年12月25日
星期三
|
欢迎来到鞍山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
逻辑模型
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
张鹭鹭
作品数:481
被引量:2,653
H指数:25
供职机构:第二军医大学
研究主题:军队 卫勤保障 系统动力学 医院管理 卫生资源
张倩颖
作品数:62
被引量:77
H指数:5
供职机构:首都师范大学
研究主题:定理证明器 逻辑命题 形式化验证 逻辑语言 形式化分析方法
关永
作品数:344
被引量:1,167
H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
施智平
作品数:185
被引量:621
H指数:11
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 定理证明器
丁国富
作品数:377
被引量:892
H指数:13
供职机构:西南交通大学
研究主题:高速列车 机车车辆 砂轮 工件坐标系 虚拟样机
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张