共 50 条
- [31] POLYMORPHISM: A BRIEF OVERVIEW ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2002, 58 : C240 - C240
- [35] A brief overview of PVS THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 22 - 27
- [36] A Brief Overview of Mechatronics STRUCTURAL HEALTH MONITORING, DAMAGE DETECTION & MECHATRONICS, VOL 7, 2016, : 67 - 74
- [40] A Brief Overview of MIZAR THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 67 - 72