您要查找的是不是：
- The handling of faults in the originals with Newmark's text type theory is analyzed. 用纽马克的文本分类法来分析对不同原文失误的处理策略。
- Translation and the Text Type Theory 文本类型理论与翻译
- Text Type Theory and the Translation of Poetry 文本类型理论与诗歌翻译
- On the Handling of Defaults in the Originals Under The Enlightenment of the Text Type Theory 文本类型理论关照下译者对原文失误的处理
- text type theory 文本类型理论
- Programming in Martin-Lofs Type Theory an Introduction II. 类型论程序设计导引2。
- Condensation melts to deploy , practical type theory. 简约化配置、实用型理念。
- A fundamental distinction is extensional vs intensional Type Theory. 一个基本区别是外延和内涵的类型论。
- Paltridge B. Genre, text type and the language learning classroom [J]. ELT Journal, 1996, 53(4):249 -55. 陈立平.;英语写作教学;理论与实践[J]
- The text type of brand had significant effect on brand recognition(F=13.69,P<0.001),the performance of Chinese brand was higher than the English brand. 文本类型对消费者对商标的识别有显著影响(F=13.;69;P<0
- Genre and text type in textlinguistic research in some way provide orientation and guidelines for translation studies and translation teaching. 篇章语言学研究领域中的语篇体裁或语篇类型为翻译研究与翻译教学开辟了一条新的途径 ,起到指导和启迪的作用。
- Vertical strokes prevail in a text type and if the axis is diagonal, the eye will have trouble following that line of text. 正文字体的主流是垂直笔画，如果轴向是倾斜的，视线沿文本方向流动的时候就会造成干扰。
- Explorations of Ancient Chinese Thinkers remarks of on personality include Type theory and Realm theory. 摘要中国古代思想家对人格的论述包括类型说与境界说。
- Class receives this list of tokens and the complete text typed by the user. 类中的默认智能标记识别器接收此标记列表以及用户键入的完整文本。
- Many people have asked me which text type is best for a magazine, a newspaper, a poster, a newsletter, a publication, etc. 很多人都问我如何为一本杂志、一份报纸、一张海报、一份简报或是一份出版物选择一个合适的正文字体。
- In extensional Type Theory definitional (i.e. computational) equality is not distinguished from propositional equality, which requires proof. 在外延类型论中定义性(就是计算性)等式不区别于需要证明的命题性等式。
- Afterwards, the thesis makes clear the concepts of drama and theater, based on which it differentiates these two key concepts and redefines drama and its text type herein. 然后,澄清话剧和戏剧的定义,并在此基础上阐明这两个概念的异同,说明本研究中话剧的具体界定及其文本类型。
- The criteria adopted in pun translation are text-type specific criteria enlightened by sociosemiotics, Newmark"s six functions of language and text type. 以文本类型为依据的翻译标准是受到了纽马克的语言的功能理论和文本分类以及社会符号学的特点的启示。
- 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. 由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
- In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning. 相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
