搜索到 篇“ 定理机器证明 “的相关文章

相关作者

印鉴
作品数：266被引量：1,784H指数：21
供职机构：中山大学
研究主题：数据挖掘 文本 推荐系统 隐私保护 网络
孙吉贵
作品数：209被引量：2,277H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
朱兴军
作品数：11被引量：43H指数：4
供职机构：吉林大学
研究主题：约束满足问题 命题逻辑 定理机器证明 弧相容 相容性
刘叙华
作品数：67被引量：143H指数：7
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 模态逻辑 模糊逻辑 调解 算子
梁肇军
作品数：43被引量：84H指数：5
供职机构：华中师范大学数学与统计学学院
研究主题：极限环 MATHEMATICA软件 上手指南 CAI 数学课件