前推搜索相关硕士博士期刊学术论文 - 搜论网

前推搜索相关论文

反证法在自动推理系统中的研究与实现

从50年代Tarski发表的《初等代数与初等几何的判定问题》开始,到70年代的吴法,90年代的消点法,几何定理机器证明的研究经历了几个......

学位

规则自动推理前推搜索语句矛盾

基于模式识别的多项式因式分解算法及其应用

讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。......

期刊

模式识别前推搜索计算机符号代数智能教学软件

看过本文同时还关注