WEKO3
-
RootNode
アイテム
Formalization of Integral Linear Space
http://hdl.handle.net/10091/00019176
http://hdl.handle.net/10091/00019176e96f7496-14a4-4ffd-8168-09da211dc625
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
[Formalized Mathematics] Formalization of Integral Linear Space.pdf (258.8 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-09-14 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Formalization of Integral Linear Space | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| DOI | ||||||||||||
| 関連識別子 | https://doi.org/10.2478/v10037-011-0010-9 | |||||||||||
| 関連名称 | 10.2478/v10037-011-0010-9 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源 | 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 | |||||||||||
| 引用 | ||||||||||||
| 内容記述 | Formalized Mathematics. 19(1): 61-64 (2011) | |||||||||||
| 書誌情報 |
Formalized Mathematics 巻 19, 号 1, p. 61-64, 発行日 2011-03 |
|||||||||||
| 資源タイプ（コンテンツの種類） | ||||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 1898-9934 | |||||||||||
| 権利 | ||||||||||||
| 権利情報 | © 2011 University of Białystok | |||||||||||
| 出版タイプ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
Share
Cite as
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari, 2011, Formalization of Integral Linear Space: De Gruyter Open, 61–64 p.
Loading...
