您要查找的是不是：
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- Within the logic framework, Sun Shaozhen's literary research focuses on uniqueness and strangeness of literary emotions, which are limited and regulated by literary categories. 摘要在逻辑性的论述架构内，孙绍振的文学研究，强调文学情感的独特性和奇异性，同时周密地论证了作为文学的情感，总是为种种文类所约束和规范。
- U.G.: What I am saying conflicts with your logical framework. 克里希那穆提：我所说的与你的逻辑框架会冲突。
- On the one hand, with principles of post-elevation methodology, the logical framework approach (LFA) is investigated in depth as the foundation. 一方面论述了项目后评价的方法论原则，并以逻辑框架法为后评价的方法论基础进行了深入分析；
- Coordinated Strategy for Implementation: A logical framework (See Annex 1) was developed to clearly define the sectoral inputs and the expected outputs. 执行的相关策略:一个合理的框架(看Annex 1)已经开发出来,显示需要付出的和预期的收获。
- 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. 由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
- Results-Based Management (RBM) A management strategy focusing on performance and achievement of outputs, outcomes and impacts.Related term: logical framework. 面向结果的管理 面向结果的管理是指一种管理战略，其重点在于绩效 以及实现产出、产效和影响。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- To reply for the challenge of deontology,especially the rule deontology,the author claims that principlism could contribute to explain the logical framework among those utilitarian rules. 而应对道义论(尤其是规则道义论)的挑战,原则论即可以为此作必要的逻辑补充。
- In order to improve risk management of projects,this paper presents the logical framework of project risk management (PRM) and the mathematical model of risk quantitative analysis. 目的为了改进项目的风险管理;提出项目风险管理过程的逻辑框架和项目风险量化分析的数学模型.
- It's a bridge of steel framework. 那是座钢铁结构的桥梁。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- A framework to support or strengthen a mine or shaft. 井壁基架用来支承或加固矿井的构筑
- A framework of crisscrossed or parallel bars; a grating or mesh. 格栅，网栅由交叉或平行的条构成的架子，格栅或网格
- An Analysis on the Logical Framework of Audit Judgement 审计专业判断的逻辑构架分析
