共 50 条
- [41] Calculation Method of Ionospheric Amplitude Scintillation Index Based on Random Forest Regression 2023 35TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2023, : 2472 - 2477
- [42] A RESOLUTION PROVER FOR S4 SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
- [43] Intuitionistic S4 is decidable 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,