标准形式化相关硕士博士期刊学术论文

介绍处理高等代数习题的标准形式化方法、公理化方法、模型转换方法、形式统一性方法和形态联想方法,并给出实例加以说明.......