共 50 条
- [24] A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 298 - 314
- [26] CREDIT FOR NONTRADITIONAL EDUCATION - CONCEPTUAL FRAMEWORK FOR RECOGNITION EDUCATIONAL RECORD, 1974, 55 (03): : 188 - 192