"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
Between 2003 and May 2010 the number of formal jobs in construction alone increased from 1.5m to 2.5m.
在2003年和2010年5月间，单单建筑行业的正式工作从150万个增长到250万。
You might choose to treat your models as formal architectural drawings that are to be strictly followed during construction.
您可能选择将您的模型视为在构建阶段要严格遵守的正式的架构图。
In contrast to the construction or manufacturing industries, many styles and flavors of methodology are available to a software project to choose from, ranging from very formal to very agile.
与建筑或生产行业相对比，软件项目可以选择许多风格和味道的方法，从非常形式的，到非常敏捷的。
The new National Museum of African American History and Culture (NMAAHC) is a rare example of permanent, formal architecture with many of the traits of protest construction.
新的非裔美国人历史文化国家博物馆是一种稀有的永恒性的例子，拥有着许多具有抗议性建设的一种正式的建筑风格。
Upon completion of construction, he must submit a project description outlining the LEED design features incorporated into the building for formal USGBC evaluation.
工程完工后，业主必须提交有关工程采用LEED设计要求的概况描述并申请美国绿色建筑委员会(usgbc)进行评估。
No power facilities or technology announced obsolete by formal decree of the State shall be used in power construction projects.
电力建设项目不得使用国家明令淘汰的电力设备和技术。
Conclusion This results will simplify the construction of concept lattices and facilitate the process of knowledge discovery, especially for large and complex formal contexts.
结论推广了已知结果，易于获得复杂形式背景的面向属性概念格，从而更有利于知识发现。
Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
The theoretical construction and practical choice of norms on Probability of Anticipation is subjected to the framework for contradiction between formal reason and substantive reason.
期待可能性的理论建构和规范选择，应在形式理性与实体理性的矛盾关系框架内进行。
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
Colin Chinnery's project, "I Want What You Want" (2009) engages the formal language of exhibition construction.
秦思源作品，“我想要的就是你想要的”（2009），使用的是展览构造本身的形式语言。
Engineering construction is done by formal professional team, and the company has strict construction standards.
工程施工由业内专业正规施工队伍进行，公司制定有严格的施工规范。
This paper discusses the technique of using formal concept analysis in combination with data model and the data information for ontology construction.
文中探讨了运用形式概念分析的技术，结合数据库模式及其数据，构建本体的方法。
This paper discusses the technique of using formal concept analysis in combination with data model and the data information for ontology construction.
文中探讨了运用形式概念分析的技术，结合数据库模式及其数据，构建本体的方法。
应用推荐