您要查找的是不是:
- Economic- cultural 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. 一个基本区别是外延和内涵的类型论。
- Chapter Two is the discussion of the economic and cultural types of the peoples of Turkic language family. 第一章参考近期学术界的研究成果,概述我国突厥语族诸民族的族源及历史形成过程。
- The cultural type space of spontaneous behavior is produced gradually in growth of the space of university. 文化型自发性行为空间就是在大学校园空间的生长过程中逐渐产生的。
- As the cultural type is concerned, the former has the character of counter-culture, while the latter, to some extent, belongs to subculture. 从文化类型上看,“垮掉一代”文学更具备反文化特征,而“另类文学”则更属于青年亚文化范畴。
- The handling of faults in the originals with Newmark's text type theory is analyzed. 用纽马克的文本分类法来分析对不同原文失误的处理策略。
- Explorations of Ancient Chinese Thinkers remarks of on personality include Type theory and Realm theory. 摘要中国古代思想家对人格的论述包括类型说与境界说。
- In extensional Type Theory definitional (i.e. computational) equality is not distinguished from propositional equality, which requires proof. 在外延类型论中定义性(就是计算性)等式不区别于需要证明的命题性等式。
- 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. 相反的,在内涵类型论中,类型检查是可判定性的,但是很多数学概念的表达是不标准的,因为缺乏外延推理。
- It is a subject of current discussion whether this tradeoff is unavoidable and whether the lack of extensional principles in intensional Type Theory is a feature or a bug. 这是目前对这种折中是否是不可避免的和在内涵类型论中缺乏外延原理是一个特色还是一个缺陷的讨论的一个主题。
- He has been an unsung hero of the country's economic growth. 他是使这个国家经济成长的无名英雄。
- MBTI is based on Jung's psychological type theory into a book, has become the authoritative personality test, Psytopic specially produced this online test, hoping to help some friends. 人的性格倾向,就象分别使用自己的两只手写字一样,都可以写出来,但惯用的那只写出的会比另一只更好。
- Mother works economic advantages accrue. 母亲工作时经济收入增加了。
- They had led the country into economic disaster. 他们把国家带入了经济灾难中。
- There is significant difference of OCB on organizational culture types. 员工组织公民行为在组织文化类型方面有显著差异。
- As one of the culture type, ocean culture is one headstream of whole mankind culture, showing people’s history and creativity. 随着世界遗产发展得到越来越多的重视,海洋项目在遗产申报中的地位将越来越重要。
- A number of organisational culture types have been identified by researchers. 典范是规定的行为范式,它是文化的一个部分。