theorem – phrases

Terms for subject Information technology containing theorem | all forms | exact matches only

English	Chinese
acoustical reciprocity theorem	声互易定理
automatic theorem proving	自动定理证明
Blum's speed-up theorem	布鲁姆加速定理
compactness theorem	紧致性定理
fundamental theorem of algebra	代数基本定理
information transmission theorem	信息传输定理
machine theorem proving	机器定理证明
max-flow min-cut theorem	最大流最小割定理
mechanical theorem proving	机器定理证明
recursion theorem	递归定理
recursive-relatedness theorem	递归相关定理
small gain theorem	小增益定理
structure theorem	结构定理
tautology theorem	重言式定理
theorem prover	定理证明器