例证法在定理机器证明中的应用

new

例证法在定理机器证明中的应用的英文翻译

基本释义

The Application of Citing Instances Method in the Mechanical Theorem Proving

例证法在定理机器证明中的应用的相关资料：

临近单词

例例2这种型号的车床价格便宜.

目录

查词历史