理论计算机科学 可计算性与计算复杂性 释文 probabilistically checkable proofs theorem 概率可检测证明定理
- formal modification
- formal moduli
- formal moduli scheme
- formal neighborhood
- formal ontology
- formal organizational control
- formal parameter
- formal polynomial
- formal potential
- formal power series
- formal power series ring
- formal pragmatics
- formal product
- formal programming language
- formal proof
- formal property
- formal publication
- formal reasoning
- formal representation
- formal representation of believe
- formal representation of event
- formal representation of language meaning
- formal representation of time
- formal rule of law
- formal scheme