共 50 条
- [23] A brief overview of PVS THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 22 - 27
- [24] A Brief Overview of Mechatronics STRUCTURAL HEALTH MONITORING, DAMAGE DETECTION & MECHATRONICS, VOL 7, 2016, : 67 - 74
- [28] A Brief Overview of MIZAR THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 67 - 72