＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- video structured description
- video summarization
- video summary and concentrated
- video surveillance system
- video surveillance system of urban rail transit magnetic levitation
- video switcher
- video tape
- videotape
- video textures
- video traffic incident detector
- video-transformer
- video vehicle detector
- video watermarking
- vidian neurectomy
- vidicon
- Viehweg
- viellaurit
- Vienna
- vienna ab initio simulation package
- vienna ab-initio simulation package
- vienna ab-initio simulation package, VASP
- Vienna Circle
- Vienna Convention on Consular Relations
- Vienna Convention on Diplomatic Relations
- Vienna Convention on the Law of Treaties