共 50 条
- [24] A free variable sequent calculus with uniform variable splitting AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 214 - 229
- [26] Jeans mass of Newtonian bose clouds INTERNATIONAL JOURNAL OF MODERN PHYSICS D, 1996, 5 (03): : 257 - 271