理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- infrared beam splitter
- infrared bolometer
- infrared calibration method
- infrared camera
- infrared camouflage
- infrared camouflage materials
- infrared catalogs
- infrared CCD
- infrared chemiluminescence
- infrared cirrus
- infrared color index
- infrared combustion
- infrared communication
- infrared corona
- infrared counterpart
- infrared cutoff
- infrared cutoff filter
- infrared detecting device
- infrared detecting system
- infrared detection
- infrared detection material
- infrared detector
- infrared detector material
- infrared dichroic film
- infrared divergence