理论计算机科学 可计算性与计算复杂性 释文 quantified Boolean formula, QBF 量词布尔公式
- synsynchronously optimized pulse-width modulation
- syntactic
- syntactical
- syntactically complete system
- syntactically equivalent formula
- syntactic ambiguity
- syntactic analysis
- Syntactic and Semantic Analysis of Laozi
- syntactic change
- syntactic code
- syntactic completeness
- syntactic connection
- syntactic consistency
- syntactic definition
- syntactic exchange
- syntacticization
- syntactic language
- syntactic language model
- syntactic metalanguage
- syntactic pattern recognition
- syntactic picture parsing
- syntactic reconstruction
- syntactic rule
- syntactics
- syntactic structural ambiguity