著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Noboru Endou and Katsumasa Okamura and Yasunari Shidama,Baire's Category Theorem and Some Spaces Generated from Real Normed Space1,Formalized Mathematics,1426-2630,Walter de Gruyter GmbH,2006-01-01,14,,,https://cir.nii.ac.jp/crid/1871709542992159232,https://doi.org/10.2478/v10037-006-0024-x