WEKO3
アイテム
Free Z-module
http://hdl.handle.net/10091/00019165
http://hdl.handle.net/10091/0001916574c90a41-b277-4f00-9bab-b7e57591c550
名前 / ファイル | ライセンス | アクション |
---|---|---|
[Formalized Mathematics] Free ℤ-module.pdf (282.1 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2016-09-14 | |||||
タイトル | ||||||
タイトル | Free Z-module | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.2478/v10037-012-0033-x | |||||
関連名称 | 10.2478/v10037-012-0033-x | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
Futa, Yuichi
× Futa, Yuichi× Okazaki, Hiroyuki× Shidama, Yasunari |
|||||
信州大学研究者総覧へのリンク | ||||||
表示名 | Okazaki, Hiroyuki | |||||
URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html | |||||
信州大学研究者総覧へのリンク | ||||||
表示名 | Shidama, Yasunari | |||||
URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html | |||||
出版者 | ||||||
出版者 | De Gruyter Open | |||||
引用 | ||||||
内容記述タイプ | Other | |||||
内容記述 | Formalized Mathematics. 20(4): 257-280 (2012) | |||||
書誌情報 |
Formalized Mathematics 巻 20, 号 4, p. 257-280, 発行日 2012-12 |
|||||
資源タイプ(コンテンツの種類) | ||||||
内容記述タイプ | Other | |||||
内容記述 | Article | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 1898-9934 | |||||
権利 | ||||||
権利情報 | © 2012 University of Białystok CC-BY-SA License ver. 3.0 or later | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |