＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- 3d exploration seismometer
- 3D geographic information system
- 3D geological & geophysical modeling
- 3D geological structure model
- 3D geologic modeling
- 3D GIS
- 3D glasses
- 3D graphics application programming interface
- 3D holographic display technology
- 3 D imaging
- 3-D imaging
- 3D imaging
- 3-dimensional classification
- 3-dimensional conformal radiation therapy，3DCRT
- 3 dimensional laser scaner
- 3 dimensional manifold
- 3-dimensional manifold
- 3-dimensional space
- 3D interaction
- 3D laser scanning technology in civil engineering
- 3D loom
- 3D map
- 3D map geometric model construction
- 3D map interaction
- 3D map rendering