%0 Journal Article %1 journals/isci/FehrerH99 %A Fehrer, Detlef %A Horacek, Helmut %D 1999 %J Inf. Sci. %K dblp %N 1 %P 3-23 %T Presenting Inequations in Mathematical Proofs. %U http://dblp.uni-trier.de/db/journals/isci/isci116.html#FehrerH99 %V 116

@article{journals/isci/FehrerH99, added-at = {2011-08-29T00:00:00.000+0200}, author = {Fehrer, Detlef and Horacek, Helmut}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/254c2728f10e5ea4cbda6adbad2503d70/dblp}, ee = {http://dx.doi.org/10.1016/S0020-0255(98)10094-4}, interhash = {4e3b4aa0fa8dcbd8090f9111bcbfe129}, intrahash = {54c2728f10e5ea4cbda6adbad2503d70}, journal = {Inf. Sci.}, keywords = {dblp}, number = 1, pages = {3-23}, timestamp = {2016-02-02T08:04:19.000+0100}, title = {Presenting Inequations in Mathematical Proofs.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci116.html#FehrerH99}, volume = 116, year = 1999 }