搜索到 篇“ 可读证明 “的相关文章

相关作者

郭远华
作品数：15被引量：20H指数：3
供职机构：四川师范大学数学与软件科学学院
研究主题：可读证明 图像去噪 资源库 一阶逻辑 逻辑系统
曾振柄
作品数：88被引量：309H指数：10
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
张景中
作品数：376被引量：891H指数：15
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
陈世平
作品数：7被引量：12H指数：4
供职机构：中国民航飞行学院
研究主题：可读证明 多项式 终止性 三角函数 机器证明
刘忠
作品数：32被引量：107H指数：5
供职机构：乐山职业技术学院
研究主题：实例化 终止性 可读证明 多项式 信息技术