2024-03-28T23:44:13Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018410
2022-12-14T04:05:51Z
1221:1222
Functional SpaceC(Ω), C_0(Ω)
Kanazashi, Katuhiko
Okazaki, Hiroyuki
Shidama, Yasunari
© 2012 University of Białystok CC-BY-SA License ver. 3.0 or later
Article
Formalized Mathematics. 20(1): 15-22 (2012)
De Gruyter Open
2012-01
eng
journal article
VoR
http://hdl.handle.net/10091/00019172
https://soar-ir.repo.nii.ac.jp/records/18410
https://doi.org/10.2478/v10037-012-0003-3
10.2478/v10037-012-0003-3
1898-9934
Formalized Mathematics
20
1
15
22
https://soar-ir.repo.nii.ac.jp/record/18410/files/[Formalized Mathematics] Functional Space C(ω), C0(ω).pdf
application/pdf
306.7 kB
2016-09-14