文献

J-GLOBAL ID：201902211015085495   整理番号：19S0742581

Isomorphisms of direct products of finite commutative groups

著者 (3件)： Okazaki, Hiroyuki (Shinshu University) ,  Yamazaki, Hiroshi (Shinshu University) ,  Shidama, Yasunari (Shinshu University)
資料名： Formalized Mathematics
巻： 21  号： 1  ページ： 65-74  発行年： 2013年 
JST資料番号： SCOPUS  ISSN： 1426-2630 
発行国： ドイツ (DEU)  言語： 英語 (EN)