定理机器证明
英语翻译
theorem machine prove
拓展翻译
电子资料处理机器
electronic data-processing machine
迭代定理
iteration theorem
叠加定理
superposition theorem
定理
theorem
theorem
theorem
定理的
theorematic
定理证明
theorem proving; theoremproving
定理证明机
theoremproving machine
定理证明系统
theoremproving system
动量定理
theorem of momentum
动能定理
theorem of kinetic energy
对角线填充定理
diagonal filling theorem
对偶定理
dual theorem; duality theorem
对偶射影定理
dual projection theorem
二项式定理
binomial theorem
发散定理
divergence theorem
电动会计机器
electrical accounting machine
电动机器人
electric robot; electromotive robot
电子机器人
electronic robot
吊木材机器
lumberjack
独立机器
stand-alone machine
