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

相关作者

印鉴
作品数：254被引量：1,755H指数：20
供职机构：中山大学
研究主题：数据挖掘 推荐系统 隐私保护 网络 文本
孙吉贵
作品数：209被引量：2,257H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
朱兴军
作品数：11被引量：43H指数：4
供职机构：吉林大学
研究主题：约束满足问题 命题逻辑 定理机器证明 弧相容 相容性
杨路
作品数：29被引量：242H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
刘卓军
作品数：188被引量：360H指数：10
供职机构：中国科学院
研究主题：英文 秘密共享 门限秘密共享 企业 创新创业