理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- geosynthetics
- GEOS测地卫星
- geotaxis
- geotechnical centrifuge modeling
- geotechnical centrifuge model test
- geotechnical displacement measuremen
- geotechnical engineering
- geotechnical engineering evaluation
- geotechnical engineering in-situ test
- geotechnical engineering reinforcement technology
- geotechnical in-situ test
- geotechnical investigation
- geotechnical investigation and surveying
- geotechnical monitoring system
- geotechnical prototype observation
- geotechnical rehabilitation
- geotectology
- Geotectonica et Metallogenia
- geotectonics
- Geotextiles
- geotherm
- geothermal anti-corrosion
- geothermal anti-scaling
- geothermal aquaculture
- geothermal belt