公理系统的英文

• axiomatic system
• axiomatics
• system of axioms

• "公理"英文翻译    generally acknowledged truth ...
• "系统"英文翻译    system
• "完备公理系统" 英文翻译 :    complete axiom system
• "完全公理系统" 英文翻译 :    complete axiom system
• "公理系统的独立性" 英文翻译 :    independence of axiomatics
• "公理系统的完全性" 英文翻译 :    completeness of axiom systems
• "实数的公理系统" 英文翻译 :    system of axioms of real numbers
• "完全独立公理系统" 英文翻译 :    completely independent system of axioms
• "公理系统的无矛盾性" 英文翻译 :    noncontradiction of axiomatics
• "相容性公理系" 英文翻译 :    consistent axiom system
• "公理" 英文翻译 :    1.(社会公认的正确道理) generally acknowledged truth; self-evident truth 公理和强权 right and might2.[数学] (无需再加证明的命题) axiom; postulate
• "foxbase管理系统" 英文翻译 :    foxbase management system of
• "netware管理系统" 英文翻译 :    netware management system
• "“中水”处理系统" 英文翻译 :    reclaimed water reuse system
• "表处理系统" 英文翻译 :    list processing system
• "表管理系统" 英文翻译 :    list management system
• "超心理系统" 英文翻译 :    psi system
• "成管理系统" 英文翻译 :    ebi; pims
• "处理系统" 英文翻译 :    disposal system; handling system; proce ing system; processing system
• "串处理系统" 英文翻译 :    string process system
• "带管理系统" 英文翻译 :    tape management system
• "地理系统" 英文翻译 :    geosystem
• "多处理系统" 英文翻译 :    multiproce ing system; multiprocessing system; multiprocessor system
• "非物理系统" 英文翻译 :    nonphysical system
• "夫处理系统" 英文翻译 :    list processing system

• Simplified axiom systems of r0 algebras and independence
  0代数公理系统的简化与独立性
• On the unity of the scientific world and the living world
  描述教学世界的一个模态公理系统
• Completeness of axiom systems
  公理系统的完全性
• After having a set of correct and effective axiom , realizing properly complex object and inheritance is the key to ordbms
  可以说，在拥有了一套正确而有效的公理系统之后，复杂对象和继承的正确实现是实现ordbms中的关键问题。
• Furthermore , the axiom system of risk is shown and the axiomatized criterion of general financial risk measurement is proposed . therefore , various risk measurement can be brought into this uniform framework to discuss
  进一步明确了风险度量的公理系统,总结提出了风险度量的公理化标准,使得各种风险度量都可以纳入到这个统一的框架内进行讨论。
• The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms
  摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑el ，并给出其语义和公理系统。
• Then we provide a system of axiom based on class level , some algorithms about how to transform class level to database model , three aproches of how to realize properly inheritance in class level
  然后在现有rdbms坚实的理论基础上，对新一代的ordbms创新性地提出了基于类层次的公理系统、变换规则，并给出了基于关系模式的类层次向关系数据库模式转换的基本算法。
• An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented
  主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。

• 公理系统的法语：axiomatique
• 公理系统的俄语：формальная теория
• 公理系统的印尼文：sistem aksiom; sistem aksioma;