＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- blind signature
- blind source separation
- blind spectral unmixing
- blind spot
- blind spot monitoring system
- blind spots analysis
- blind stitch machine
- blind survey
- blind valley
- blind wound
- B-line
- b-lineation
- b-lines
- blink
- blink comparator
- blinker
- blinking
- blinking method of stereoscopic viewing
- Blinking Planetary Nebula
- blink microscope
- bliographical work
- bliography of bibliographies
- blip
- Bliss
- Blissard