共 50 条
- [32] On the p-supersolubility of a finite group with a µ-supplemented sylow p-subgroup Siberian Mathematical Journal, 2009, 50 : 681 - 686
- [33] A modular formalisation of finite group theory THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 86 - 101
- [37] ON THE AUTOMORPHISM GROUP OF A FINITE P-GROUP WITH A SMALL CENTRAL QUOTIENT CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1980, 32 (05): : 1168 - 1176