搜索到 篇“ 逻辑模型 “的相关文章

相关作者

张鹭鹭
作品数:484被引量:2,680H指数:25
供职机构:第二军医大学
研究主题:军队 卫勤保障 系统动力学 医院管理 卫生资源
丁国富
作品数:407被引量:1,024H指数:14
供职机构:西南交通大学
研究主题:高速列车 工件坐标系 机车车辆 立铣刀 砂轮
张倩颖
作品数:63被引量:97H指数:6
供职机构:首都师范大学
研究主题:定理证明器 逻辑命题 形式化验证 逻辑语言 机器人
关永
作品数:349被引量:1,226H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 形式化 嵌入式系统
施智平
作品数:193被引量:681H指数:13
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 机器人 图像检索