%0 Journal Article %1 journals/fm/MiyajimaS09 %A Miyajima, Keiichi %A Shidama, Yasunari %D 2009 %J Formalized Mathematics %K dblp %N 1-4 %P 179-185 %T Riemann Integral of Functions from R into Rn. %U http://dblp.uni-trier.de/db/journals/fm/fm17.html#MiyajimaS09 %V 17

@article{journals/fm/MiyajimaS09, added-at = {2019-02-20T00:00:00.000+0100}, author = {Miyajima, Keiichi and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/216ec5ad650c79516b1882ac550f97cc3/dblp}, ee = {https://doi.org/10.2478/v10037-009-0021-y}, interhash = {d88fa4901bb2343a6f53ad636ae7e58b}, intrahash = {16ec5ad650c79516b1882ac550f97cc3}, journal = {Formalized Mathematics}, keywords = {dblp}, number = {1-4}, pages = {179-185}, timestamp = {2019-02-21T11:39:25.000+0100}, title = {Riemann Integral of Functions from R into Rn.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm17.html#MiyajimaS09}, volume = 17, year = 2009 }