抄録
Article
Formalized Mathematics. 19(1): 51-59 (2011)
収録刊行物
-
- Formalized Mathematics
-
Formalized Mathematics 19 (1), 51-59, 2011-03
De Gruyter Open
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050845763856357248
-
- NII論文ID
- 120007101117
-
- ISSN
- 18989934
- 14262630
-
- HANDLE
- 10091/00019178
-
- 本文言語コード
- en
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- Crossref
- CiNii Articles
- KAKEN