理论计算机科学 可计算性与计算复杂性 释文 3-satisfiability problem, 3SAT 三元可满足性问题
- set of composition factors
- set of continuum power
- set of convergence
- set of curves
- set of decisions
- set of definition
- set of degeneracy
- set of degrees
- set of elements
- set of equations
- set of equivalent positions
- set of events
- set-off
- set of fields
- set of finite type
- set of first category
- set of functionals
- set of functions
- set of generators
- set of generators of a module
- set of greater power
- Set of Identifications, Measurements, and Bibliography for Astronomical Data
- set of identifications,measurements and bibliography for astronomical data
- set of imprimitivity
- set of infinite type