共 50 条
- [21] PROSA: A Case for Readable Mechanized Schedulability Analysis PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS ECRTS 2016, 2016, : 273 - 284
- [22] ENGINEERING ANALYSIS OF A MECHANIZED FRUIT GRADING TABLE TRANSACTIONS OF THE ASAE, 1976, 19 (02): : 396 - 399
- [23] ECONOMIC-ANALYSIS OF MECHANIZED LABORATORY INVESTIGATIONS DEUTSCHE GESUNDHEITSWESEN-ZEITSCHRIFT FUR KLINISCHE MEDIZIN, 1982, 37 (05): : 234 - 239
- [25] Mechanized mathematics modelling and algorithm analysis for a turbine set Zhongguo Dianji Gongcheng Xuebao, 2006, 23 (83-87):
- [26] ANALYSIS OF A MECHANIZED METHOD OF PETROLEUM EXTRACTION ON THE SALYMSK SITE NEFTYANOE KHOZYAISTVO, 1984, (06): : 43 - 44
- [27] Mechanized Information Flow Analysis through Inductive Assertions 2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 227 - 230
- [28] Accident Analysis and Prevention Measure of Dynamic Load Mine Pressure of the 31201 Fully Mechanized Working Face of Shigetai Coal Mine 2015 INTERNATIONAL CONFERENCE ON ENERGY, MATERIALS AND MANUFACTURING ENGINEERING (EMME 2015), 2015, 25
- [29] Mechanized analysis of Anselm’s modal ontological argument International Journal for Philosophy of Religion, 2021, 89 : 135 - 152