利用“结构分析–形式统一法”求解数学题目
Solving Mathematical Problems by Structural Analysis Method and Formal Unification Method
王耀革,崔国忠,郭从洲：信息工程大学基础部，河南 郑州
版权 © 2017 王耀革, 崔国忠, 郭从洲。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。