文献

J-GLOBAL ID：201902202260625668   整理番号：19S0476501

Definition and Properties of Direct Sum Decomposition of Groups

著者 (4件)： Nakasho, Kazuhisa (Shinshu University) ,  Yamazaki, Hiroshi (Shinshu University) ,  Okazaki, Hiroyuki (Shinshu University) ,  Shidama, Yasunari (Shinshu University)
資料名： Formalized Mathematics
巻： 23  号： 1  ページ： 15-27  発行年： 2015年 
JST資料番号： SCOPUS  ISSN： 1426-2630 
発行国： ドイツ (DEU)  言語： 英語 (EN)