网络解释
三阶谓词演算
- 与 三阶谓词演算 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
predicate calculus of the third order
三阶谓词演算
predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算
-
predicate calculus with identity
带恒等式的谓词演算
predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray