理论计算机科学 程序理论 释文 small-step semantics 小步语义
- geological survey vessel
- geological time
- geological time scale
- geologic analogy method
- geologic analysis method
- geologic block model
- geologic hazard
- geologic hazard chain
- geologic hazard consequence
- geologic hazard emergency survey
- geologic hazard inventory
- geologic hazard observation and prevention by everyone
- geologic hazard probability
- geologic hazard risk
- geologic hazard survey of collapse,landslide and debris flow
- geologic hazard susceptibility
- geologic hazard vulnerability
- geologic logging
- geologic map
- geologic property modeling
- geologic structure modeling
- geologic survey method
- Geologist
- Geologist Li Siguang
- geology