共 50 条
- [31] A Proof-of-Principle Study of the Design and Optimization of a Novel Fluid-Driven Automated Retracting Needle System JOURNAL OF MEDICAL DEVICES-TRANSACTIONS OF THE ASME, 2021, 15 (03):
- [36] Automated Improving of Proof Legibility in the Mizar System INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, 2014, 8543 : 373 - 387
- [37] Measurement and distribution of horizontal minimum principle stress of shale reservoir Zhongguo Shiyou Daxue Xuebao (Ziran Kexue Ban)/Journal of China University of Petroleum (Edition of Natural Science), 2021, 45 (05): : 80 - 87