理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- linear angle encoder
- linear-angular intersection
- linear aperture
- linear approximation
- linear approximation method
- linear arrangement
- linear array
- linear array push-broom sensor
- linear array scanning sensor
- linear array sensor
- linear assignment method
- linear associative algebra
- linear attack
- linear automaton
- linear autoregressive model
- Linear B
- linear bias
- linear bias model
- linear bias parameter
- linear birefringence
- linear birth process
- linear boundary condition
- linear boundary operator
- linear boundary-value problem
- linear bounded automaton