theorem – phrases

Terms for subject Artificial intelligence containing theorem | all forms | exact matches only

English	Chinese
admissibility theorem	可纳性原理
antecedent theorem	前提法则
asymptotic stability theorem	渐进稳定定理
Boyer-Moore theorem prover	Boyer-Moore 定理证明系统
Church-Rosser theorem	邱奇-罗塞定理
closing characterization theorem	闭合特性定理
Cohen-Grossberg theorem	Cohen-Grossberg 定理
completeness theorem	完备性理论
convergence theorem	收敛定理
correlation theorem	相关定理
Cover's theorem	Cover 定理
Darmois' theorem	Darmois 定理
Euler theorem for polyhedral object	多面体欧拉定理
Fourier affine theorem	傅里叶仿射定理
Fourier convolution theorem	傅里叶卷积定理
Fourier correlation theorem	傅里叶相关定理
Fourier rotation theorem	傅里叶旋转定理
Fourier scaling theorem	傅里叶尺度放缩定理
Fourier shift theorem	傅里叶平移定理
Fourier similarity theorem	傅里叶相似定理
Fourier's theorem	傅里叶定理
fundamental training theorem	基本训练法则
geometry theorem prover	几何定理证明程序
Godel incompleteness theorem	哥德尔不完备性定理
Gold's theorems	Gold 定理
Herbrand theorem	海尔布朗定理
incompleteness theorem	不完全定理
infinite monkey theorem	无穷猴子定理
Kolmogorov's theorem	戈尔莫戈洛夫定理
Kuhn-Tucker saddle point theorem	库恩-塔克尔鞍点定理
Lyapunov's theorem	李雅普诺夫定理
mechanical theorem proving in geometry	几何定理机器证明
No Free Lunch Theorem	"没有免费的午餐"定理
noiseless coding theorem	无失真编码定理
nonresolution theorem proving	非归结定理证明
opening characterization theorem	开启特性定理
optimal coding theorem	最优编码定理
orthogonal decomposition theorem	正交分解定理
orthogonal iterating convergent theorem	正交迭代收敛定理
orthogonal project theorem	正交投影定理
projection theorem for Fourier transform	傅里叶变换的投影定理
rate distortion theorem	率失真定理
rate of convergence theorem	收敛速度定理
Riesz representation Riesz theorem	表示定理
scheme theorem	模式定理
Schlafli's theorem	Schlafli 定理
Shannon coding theorem	香农编码定理
Shannon sampling theorem	香农采样定理
source coding theorem	信源编码定理
Takens' theorem	Takens 定理
Theorem Proving System	定理证明系统
ugly duckling theorem	丑小鸭定理
universal approximation theorem	通用逼近定理
universal myopic mapping theorem	通用近视映射定理
upper bounded theorem	上界定理
Weierstrass theorem	Weierstrass 定理

Get short URL