一类初等微分几何定理机器证明的算法与实现

new

一类初等微分几何定理机器证明的算法与实现的英文翻译

基本释义

ALGORITHM AND IMPLEMENTATION OF MECHANICAL PROVING OF A CLASS OF THEOREMS IN ELEMENTARY DIFFERENTIAL GEOMETRY

一类初等微分几何定理机器证明的算法与实现的相关资料：

临近单词

一一个字头的诞生

目录

查词历史