＞数理逻辑与数学基础＞数学基础＞释义 modal logic 模态逻辑 logic of modality 模态逻辑 modal logic 模态逻辑†
理论计算机科学 程序理论 释文 modal logic 模态逻辑
- geoid separation
- geoid surface
- geoid undulation
- geoid variation
- GEO -IK satellite
- geoinduction
- geo-Info spectrum for human settlements in mountainous areas
- Geo-Info-TUPU
- geokinetics
- geolipids
- Geolog
- geological advanced prediction
- geological age
- geological and mineral remote sensing survey
- geological and seismic disasters in China
- geological body
- Geological Bulletin of China
- geological cartography
- geological characteristics of rock mass
- geological compass
- geological comprehensive evaluation of evaluation wells
- geological comprehensive evaluation of pre-exploration well
- geological core drilling
- geological cores and samples burial
- geological cores and samples reduction