＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- antilysin
- antimagic graph
- antimagic square
- anti-magnetic cabinet
- anti-magnetization field
- antimalarial drugs
- anti Markovnikov addition
- anti-Markovnikov addition
- antimatter
- antimatter cosmology
- antimatter hypernucleus
- antimatter problem
- antimatter propulsion
- antimeridian
- antimeson
- antimetabolic agents
- antimetric tensor
- antimetric tensor density
- anti MHV amplitude
- anti-MHV amplitude
- antiMHV amplitude
- antimicrobail peptide of shrimp
- antimicrobial peptide
- antimicrobial peptides
- antimicrobial plastic