1) superior theory
高明论
2) On Political Cuiture Construction in Universities
论高校政治文明
3) You are really smart!
高明高明!
4) Gaoming
高明
1.
The Research of Gaoming Solid Waste Production at Present and in 2008 and It's Treatment;
高明固废物产生现状与预测及处理处置研究
5) Proof theory
证明理论
6) proof theory
证明论
1.
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
2.
It is proved that a generalized form of model theoretic weak forcing satisfies some right inference rules of Gentzen style proof theory.
推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。
补充资料：高明寺
【高明寺】
（寺名）寺为唐时所建。智者大师之幽溪道场也。藏有大师之龙衣紫金钵。又有天竺来之贝叶经。为大师所藏。
（寺名）寺为唐时所建。智者大师之幽溪道场也。藏有大师之龙衣紫金钵。又有天竺来之贝叶经。为大师所藏。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条