定理证明系统
英语翻译
theoremproving system
拓展翻译
定理证明
theorem proving; theoremproving
定理证明机
theoremproving machine
迭代定理
iteration theorem
叠加定理
superposition theorem
定理
theorem
theorem
theorem
定理的
theorematic
定理机器证明
theorem machine prove
动量定理
theorem of momentum
动能定理
theorem of kinetic energy
对角线填充定理
diagonal filling theorem
对偶定理
dual theorem; duality theorem
对偶射影定理
dual projection theorem
二项式定理
binomial theorem
发散定理
divergence theorem
短缺证明书
short-landed memo
短卸证明书
short land memo; short-landing certificate
对事实已作为宣誓证明的抗辩
exceptio juris jurandi
多道程序设计逻辑证明
multiprogramming logic proof
多级安全证明
multilevel security proof
额外费用证明书
affidavit of increase
