一阶

existential quantifier

存在量词 IN FOPC(一阶谓词演算)

61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划

U First Derivative U

向一阶导数

U and V Grid U向和V向网格 | U First Derivative U向一阶导数 | U radius U向半径

First Order Theory

一阶理论

一个号码 One Number ONE | 一阶理论 First Order Theory | 一拖二键盘转接线 One-to-two Keyboard Switcher

linear ordinary differential equation of first order

一阶线性常微分方程

linear molecule 线型分子 | linear ordinary differential equation of first order 一阶线性常微分方程 | linear polymer 线状聚合物

logical variable

逻辑变量 IN FOPC(一阶谓词演算)

115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答

subroutine, one-level

一阶次例程

subroutine, inserted 插入次例程 | subroutine, one-level 一阶次例程 | subroutine, relocatable 可复位位次例程

partial differential equation of first order

一阶偏微分方程

partial differential equation of elliptic type 椭圆型偏微分方程 | partial differential equation of first order 一阶偏微分方程 | partial differential equation of hyperbolic type 双曲型偏微分方程

first order predicate logic

一阶谓词逻辑

谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic

Proofs

证明 IN FOPC(一阶谓词演算)

140 PROCEDURAL REPRESENTATIONS 过程性表达式 | 141 PROOFS 证明 IN FOPC(一阶谓词演算) | 142 PROPEL 推进 IN CD(概念从属理论)

pure predicate calculus of first order

一阶纯谓词演算

pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚