2024-03-29T06:33:13Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018395
2022-12-14T04:30:55Z
1221:1222
The C^k Space
Kanazashi, Katuhiko
Okazaki, Hiroyuki
Shidama, Yasunari
Article
Formalized Mathematics. 21(1): 25-31 (2013)
journal article
De Gruyter Open
2013-01
application/pdf
Formalized Mathematics
1
21
25
31
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18395/files/[Formalized Mathematics] The Ck Space.pdf
eng
10.2478/forma-2013-0002
https://doi.org/10.2478/forma-2013-0002
© 2013 University of Białystok CC-BY-SA License ver. 3.0 or later