2026-03-10T15:56:01Z 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 Article Formalized Mathematics. 20(1): 15-22 (2012) journal article De Gruyter Open 2012-01 application/pdf Formalized Mathematics 1 20 15 22 1898-9934 https://soar-ir.repo.nii.ac.jp/record/18410/files/[Formalized Mathematics] Functional Space C(ω), C0(ω).pdf http://hdl.handle.net/10091/00019172 https://soar-ir.repo.nii.ac.jp/records/18410 eng 10.2478/v10037-012-0003-3 https://doi.org/10.2478/v10037-012-0003-3 © 2012 University of Białystok CC-BY-SA License ver. 3.0 or later