类型理论的英文

发音:

"类型理论"怎么读用"类型理论"造句

英文翻译手机版

type theory

"类型"英文翻译 type; mold; form; cut
"理论"英文翻译 theory
"类型论, 类型理论" 英文翻译 : type theory
"简单类型理论" 英文翻译 : simple type theory
"逻辑类型理论" 英文翻译 : theory of logical types
"乔施类型理论" 英文翻译 : s type theory
"行为类型理论" 英文翻译 : behavioral styles theory
"直觉类型理论" 英文翻译 : intuitionistic type theory
"领导风格类型理论" 英文翻译 : style theory of leadership
"三维管理类型理论" 英文翻译 : tri dimensional management style theory
"杨施的类型理论" 英文翻译 : s type theory
"希波克拉底气质类型理论" 英文翻译 : hippocrates theory of temperament types
"交叉型理论" 英文翻译 : chiasmatype theory
"模型理论" 英文翻译 : model theory
"球型理论" 英文翻译 : spherical-model theories
"小型理论" 英文翻译 : miniature theory
"翼型理论" 英文翻译 : aerofoil theory; airfoil theory; wing-section theory
"原型理论" 英文翻译 : theory of archetype
"标准模型理论" 英文翻译 : standard model
"模型理论模型论" 英文翻译 : modeltheory
"位置模型理论" 英文翻译 : site model theory
"细长翼型理论" 英文翻译 : slender airfoil theory
"重力模型理论" 英文翻译 : gravity model theory
"超临界翼型理论" 英文翻译 : supercritical airfoil theory
"超音速翼型理论" 英文翻译 : supersonic-airfoil theory

例句与用法

This essay employs thomas schatz ' s genre theory to examine the huangmei opera film genre
本篇文章是采用汤玛斯?雪兹的电影类型理论来检验黄梅调电影。
Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。
A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。
Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本类型理论建立在以文本功能为划分标准的基础之上，是对传统翻译等值观的一个重要突破和重要补充。
And it also illustrates the most influential vocational instruction theory such as special factors theory , social factors theory , professional development theory , character mode theory and professional policy theory
阐述了职业指导理论中最有影响的特殊因素理论、社会因素理论、职业发展理论、人格类型理论、职业决策理论。
First , the article rethinks the classical theory of types of administrative acts , thinks that though the theory of the types of administrative acts has many problems , the theory of legal relationship & the theory of administrative procedure are being raised as complement theories , the position of the theory of the types of administrative acts is still unable to be displaced and is still worthy of being researched
第一章,是行政行为类型理论回顾。首先是对传统行政行为类型理论进行反思,认为传统行政行为类型理论虽然存在着不少问题,从而出现法律关系理论、行政行为过程论等补充性理论,但都不能取代行政行为类型理论的地位,理论上仍然有其存在的必要性。
Professor wenqian ' s theory of market types includes : the objective basis of distinguishing the market types is the comparison of market power between buyers and sellers ; the market types are determined by the market structures which are formed by values , prices , supply demand and market competition ; the typical sellers ' market , buyers ' market , balanced market , deformed sellers ' market and deformed buyers ' market have different characteristics in the structure factors and the run - mechanism ; market value and market volume are the main variables that cause transformation of these market types
摘要闻潜教授的市场类型理论认为： ( 1 )划分市场类型的客观依据是卖方与买方市场经济力量的对比； ( 2 )由市场价值、市场价格、供给和需求、市场竞争所构成的市场结构决定市场类型； ( 3 )典型卖方市场、典型实方市场、均势市场、畸型卖方市场、畸型买方市场在构成要素和运行机制上有不同的特征； ( 4 )市场价值和市场容量是引起市场类型转化的主要变量。
Part iii in this part , the author summarizes foreign scholar ' s theory of ideal types of law , such as r ? m ? unger gunther teuber jurgen habermas p ? nonet and p ? selznick . in ideal types sense , the author argues that economic law is substantive rational law but not formal rational law
渐次概述并比较了韦伯之后国外学者如昂格尔、田中成明、诺内特和塞尔兹尼克、图依布纳、哈贝马斯等人提出的各种法律类型理论，认为在理想类型的意义上，可以把经济法定位成一种实质理性法而非形式理性法。