理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs verifier 概率可检测证明验证者
- Reducing Process
- reducing projector
- reducing roasting of mineral raw material
- reducing subspace
- reducing sugar
- reducing terminus
- reducing toxicity and strengthen effects
- Reducing type of residential area
- reductan
- reductan; reducing agent
- reductant
- reductase
- reducting active DNA alkylating agent
- reducting active DNA crosslinking reagent
- reductio ad absurdum
- reduction
- reduction ad absurdum
- reduction ad absurdum law
- reduction algorithm
- reduction and enlargement printing
- reduction and fixation of jaw fractures
- reduction ascending
- reduction bundle
- reduction condition
- reduction criterion