%0 Journal Article %1 journals/fm/AraiWO14 %A Arai, Kenichi %A Wakabayashi, Ken %A Okazaki, Hiroyuki %D 2014 %J Formalized Mathematics %K dblp %N 3 %P 269-275 %T Difference of Function on Vector Space over F. %U http://dblp.uni-trier.de/db/journals/fm/fm22.html#AraiWO14 %V 22

@article{journals/fm/AraiWO14, added-at = {2019-02-20T00:00:00.000+0100}, author = {Arai, Kenichi and Wakabayashi, Ken and Okazaki, Hiroyuki}, biburl = {https://www.bibsonomy.org/bibtex/28d127e7823392e5ff1cd2d10db083803/dblp}, ee = {https://doi.org/10.2478/forma-2014-0027}, interhash = {71b07f84615f85d2ed7e7af1e030ca4b}, intrahash = {8d127e7823392e5ff1cd2d10db083803}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 3, pages = {269-275}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {Difference of Function on Vector Space over F.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm22.html#AraiWO14}, volume = 22, year = 2014 }