＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 calculus of predicates 谓词演算 functional calculus 函数演算，谓词演算† predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- O. A. Ladyzhenskaya
- O. A. Ladyzhenskaya (1922—2004)
- OANA
- OAO
- OAO-3
- oarfish
- oar from Hemudu
- Oars for the Boat of Art
- OAS
- oasis
- oasis in China
- oasis town
- oasis wet island effect
- O association
- OAT
- oat covered smut
- oat crown rust
- oat diseases
- oat flake
- Oath of Alliance
- Oath of Emperor Taizu of Song
- Oath Site at Houma
- Oath·Midnight Rain
- oat loose smut
- OATP