理论计算机科学 可计算性与计算复杂性 释文 interactive polynomial time equals polynomial space problem, IP=PSPACE problem 交互式多项式时间等于多项式空间问题
- logical block
- logical block address
- logical block address, LBA
- logical calculus
- logical channel
- logical circuit
- logical clock
- logical combination
- logical comparison
- logical condition
- logical connective
- logical consequence
- logical consistency
- logical constant
- logical control
- logical data
- logical decision
- logical deduction
- logical definition
- logical derivation
- logical design
- logical device
- logical device name
- logical diagram
- logical difference