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

相关作者

张景中
作品数：362被引量：845H指数：16
供职机构：中国科学院
研究主题：数学 数学家 数学教学 超级画板 微积分
杨路
作品数：29被引量：241H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
李洪波
作品数：44被引量：91H指数：5
供职机构：中国科学院
研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
刘军
作品数：35被引量：19H指数：2
供职机构：西南交通大学
研究主题：矛盾体 命题逻辑 机器证明 一阶逻辑 逻辑公式
何星星
作品数：34被引量：42H指数：4
供职机构：西南交通大学数学学院
研究主题：矛盾体 命题逻辑 一阶逻辑 机器证明 子句