@article{oai:soar-ir.repo.nii.ac.jp:00018389,
 author = {Narita, Keiko and Endou, Noboru and Shidama, Yasunari},
 issue = {2},
 journal = {Formalized Mathematics},
 month = {Jun},
 note = {Article, Formalized Mathematics. 21(2): 145-152 (2013)},
 pages = {145--152},
 title = {Riemann Integral of Funtions from R into Real Banach Space},
 volume = {21},
 year = {2013}
}