＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- non-zonal vegetation
- No Object Communication
- no observed-adverse-effect level
- noon
- No One Can Stop the Sunshine
- noon interval
- noon-mark
- NOON state
- NOON态
- no-op instruction
- Noord-Brabant
- Noordin Hassan
- Noor Ed-din Faris
- Nootkas
- no prose better than that of the Qin and Han dynasites and no poems better than those in the heyday of Tang
- no punishment in doubtful cases
- NOR
- Nor
- no radiation damage
- noradrenaline
- noradrenergic nerve endings blocking drugs
- noradrenergic neuron
- noradrenergic receptor
- Nora G．Sproston
- noralite