first-order

• Generating sat instances from first - order formulas
  由一阶逻辑公式得到命题逻辑可满足性问题实例
• An axiomatics for first - order logic
  经典一阶逻辑的希尔伯特型系统
• A new self - adjusting fuzzy controller of a class of first - order system
  一种新的一阶系统自调整模糊控制器
• People are the first - order elements of any software development project
  人是任何软件开发项目的第一位要素。
• This is not expressible as a first - order predicate calculus property
  这就是一个一阶谓词演算不可表述的属性。
• Also , first - order predicate calculus isn ' t good enough anyway
  同时，从各方面来说，一阶谓词演算都不是足够好。
• First - order phase - locked loop
  一阶锁相环
• Subroutine , first - order
  第一级次例程
• The rule of degradation follows the first - order kinetic reaction equation
  驯化污泥对石油的降解规律遵循一级反应动力学方程。
• On periodic solutions of first - order linear and nonlinear functional differential equations
  一阶线性与非线性泛函微分方程的周期解