理论计算机科学 程序理论 释文 predicate transformer semantics 谓词转换语义
- bolosaurids
- boloscope
- Bolotnikov Rebellion
- Bolovens Plateau
- Bolshevik
- Bolshoi Theatre of Russia
- Bolshoy Theatre,Moscow
- BOLT
- bolt
- bolted spherical joint
- bolter-miner
- bolting
- bolting and shotcreting
- bolting technology for steel bridge
- bolt-shotcrete support
- Boltyanskiǐ
- Boltysh crater
- Boltzmam system
- Boltzmann
- Boltzmann brain paradox
- Boltzmann constant
- Boltzmann crater
- Boltzmann distribution
- Boltzmann distribution law
- Boltzmann-Einstein equations