搜索到 篇“ 高阶逻辑 “的相关文章

相关作者

关永
作品数:344被引量:1,170H指数:16
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
施智平
作品数:185被引量:625H指数:11
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 定理证明器
张杰
作品数:131被引量:296H指数:8
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
杨炳儒
作品数:393被引量:2,413H指数:25
供职机构:北京科技大学计算机与通信工程学院
研究主题:数据挖掘 知识发现 粗糙集 属性约简 KDD
李琳娜
作品数:55被引量:59H指数:5
供职机构:中国科学技术信息研究所
研究主题:电子设备 存储介质 计算机 高阶逻辑 协同过滤