数学机械化视野中算法与公理法的辩证统一_参考网

数学机械化视野中算法与公理法的辩证统一

2014-06-09梁芳

中央民族大学学报(自然科学版) 2014年4期

关键词：公理视野机械化

猜你喜欢

公理视野机械化

关于“不用联结词的逻辑系统”的注记

欧几里得的公理方法

Abstracts and Key Words

公理是什么

农业机械化

对我国煤矿岩巷掘进机械化配套的探讨

中央民族大学学报(自然科学版)

中央民族大学学报(自然科学版)的其它文章