模型论的英文

• model theory

• "模型"英文翻译    model; pattern
• "论"英文翻译    The Analects of Confucius
• "模型论语义" 英文翻译 :    model-theoretic semantics
• "模型理论 模型论" 英文翻译 :    modeltheory
• "类型论" 英文翻译 :    theory of class; theory of types; type theory; typological theory
• "体型论" 英文翻译 :    theory of body type
• "同型论" 英文翻译 :    isomorphism
• "型论证" 英文翻译 :    deductive argument
• "二次型论" 英文翻译 :    theory of quadratic forms
• "分歧类型论" 英文翻译 :    ramified theory of types
• "简单类型论" 英文翻译 :    simple theory of types
• "人格造型论" 英文翻译 :    formative theory of personality
• "心理类型论" 英文翻译 :    psychological type theory
• "心理型论" 英文翻译 :    theory of psychological types
• "心身同型论" 英文翻译 :    mindbody isomorphismm
• "支分类型论" 英文翻译 :    ramified theory of types; ramifiedtheoryoftypes
• "直觉类型论" 英文翻译 :    intuitionistic type theory
• "罪犯类型论" 英文翻译 :    typological theory of criminals
• "类型论, 类型理论" 英文翻译 :    type theory
• "性格功能类型论" 英文翻译 :    theory of character function types
• "性格机能类型论" 英文翻译 :    theory of character function type
• "模型" 英文翻译 :    1.(仿制实物) model; pattern 模型所代表的实物 antitype; 模型展品scale model; 飞机模型 model of an airplane; 复制模型 replica; 原尺寸模型 mock-up; 机器的模型 pattern of a machine; 做一个汽船模型 model a steamboat; 他用粘土做模型。 he models in clay.2.(制砂型的工具) mould; pattern3.(模子) model set; mould pattern; layout; type; representation; cast; version; matrix; mock-up; shape
• "高级神经活动类型论" 英文翻译 :    typological theory of higher nervous activity
• "国外大型论坛群发工具" 英文翻译 :    atuo forum poster
• "模型，模型机" 英文翻译 :    mock-up

• On modelproperties of lattice implication algebra
  格蕴涵代数的模型论性质
• On the model properties of bck algebras
  代数的模型论性质
• Criticisms of situation semantics on the extensional model theory and the possible world semantics
  情境语义学对外延模型论和可能世界语义学的批判
• Being compared with mpsitional calculus , the property of model theory of the evaluation twhonal calculus is studied
  与经典命题逻辑系统相比较，研究了评价值命题逻辑系统中的模型论性质。
• By employing the theory and technology of ontology and oil / rdf ( s ) in gdss , it not only facilitate knowledge sharing and reuse but also provide the semantic interoperability for data and knowledge exchange . this adapt to the new development of gdss in current network
  把领域模型论和oil rdf ( s )的理论和技术引入到群决策支持系统中，不仅便利了知识的共享和重用，而且为数据和知识交换提供了语义上的互操作性，很好的适应了群决策支持系统在当前网络环境中的新发展。

• 模型论的法语：Théorie des modèles
• 模型论的俄语：Теория моделей
• 模型论的阿拉伯语：تصنيف:نظرية النموذج;
• 模型论的印尼文：teori model;