共 50 条
- [42] THEOREM-PROVING IN NONSTANDARD LOGICS BASED ON THE INVERSE METHOD LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 648 - 662
- [49] 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