理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- binocular cue
- binocular microscope
- binoculars
- binocular stereoscopic viewing
- binocular telescope
- binocular vision
- binocular vision sensor
- binodal
- binodal curve
- binodal cyclide
- binodal decomposition
- binode
- binomial
- binomial array
- binomial character
- binomial coefficient
- binomial coefficient series
- binomial congruence
- binomial curve
- binomial deliverability equation of gas wells
- binomial differential
- binomial differential equation
- binomial distribution
- binomial equation
- binomial expansion