您要查找的是不是：
- completeness of axiom systems of propositional calculus 命题演算公理系统的完备性
- completeness of axiom systems 公理系统的完全性
- Independence of Axiom System of BCI-Algebra BCI-代数公理系的独立性问题
- You need not change any existing axiom systems. 您不需要改变任何现有的定理体系。
- The completeness of the requirements. 要求的整体性。
- To verify the order and completeness of(the pages of a volume. 核对证实（一卷书的页数）顺序和完整性
- To verify the order and completeness of(the pages of a volume). 核对证实（一卷书的页数）顺序和完整性
- The artistic zealot devoted his life to the completion of a great masterpiece. 这位艺术热心者奉献他一生来完成一幅伟大的作品。
- Completion of the building work is taking longer than expected. 建筑工程的竣工比预计时间要长。
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed. 建立了 Agent- BDI逻辑的代表系统 A- BI;讨论了它的语法和语义 .
- The system of axiom in electromagnetic is established based on eight basic priciples. 由八个基本原理出发，建立了电磁学公理化的理论体系.
- To speed the progress or completion of; expedite. 加速，促进加快（某事）的进程或完成；促进
- It is proved that weak MV-algebras and IMTL-algebras are equivalent, and the IMTL axiom system is simplified from 11 items to 8 items. 摘要证明瞭弱MV-代数与IMTL代数是等价的代数结构；把IMTL公理系统的11条公理简化为8条。
- Guidelines for the completion of tax returns. 指导完成退税的方针
- The system is sound and complete,and based on it we can obtain different normal cognition logics by adding a series of axiom sequences. 该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统。
- Full completion of the project is set for August31. 定于8月31全面完成这项工程。
- People's attitude is suspicion of axiom of choice and axiom of parallelism. 人们对平行公理和选择公理的态度都表现为:怀疑。
- Completion of projects on time and within budget. 按时按预算完成项目的程度。
