1) Typical module
典范模
2) canonical model
典范模型
1.
In this paper,we proved the completeness of system M with respect to the class of Γcanonical frames,on which Γ-canonical models are built.
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。
3) Atypical module
非典范模
4) Γ-canonical model
Γ-典范模型
5) Model Penal Code
《模范刑法典》
1.
Model Penal Code, edited by American Law Institute in 1962 has been playing a leading role in codification of American criminal law.
美国法学会1962年通过的《模范刑法典》在美国刑法法典化的历史中发挥了最重要的作用。
6) canonical model of the system KjB
系统KjB典范模型
补充资料：典范
可作学习标准、榜样的人或事物：处世的典范｜给年青人做个典范。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条