共 50 条
- [41] THEOREM-PROVING IN NONSTANDARD LOGICS BASED ON THE INVERSE METHOD LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 648 - 662
- [48] Noether’s Theorem and its Inverse of Birkhoffian System in Event Space Based on Herglotz Variational Problem International Journal of Theoretical Physics, 2018, 57 : 887 - 897