%0 Journal Article %1 journals/cca/Davenport00a %A Davenport, James H. %D 2000 %J SIGSAM Bull. %K dblp %N 2 %P 16-21 %T A small OpenMath type system. %U http://dblp.uni-trier.de/db/journals/cca/cca34.html#Davenport00a %V 34

@article{journals/cca/Davenport00a, added-at = {2020-05-18T00:00:00.000+0200}, author = {Davenport, James H.}, biburl = {https://www.bibsonomy.org/bibtex/2385c99b5b21f412ac36cba8e1db7fa79/dblp}, ee = {https://doi.org/10.1145/362001.362014}, interhash = {63f1a5cc06667893043da7ea5c6d0269}, intrahash = {385c99b5b21f412ac36cba8e1db7fa79}, journal = {SIGSAM Bull.}, keywords = {dblp}, number = 2, pages = {16-21}, timestamp = {2020-05-19T11:49:17.000+0200}, title = {A small OpenMath type system.}, url = {http://dblp.uni-trier.de/db/journals/cca/cca34.html#Davenport00a}, volume = 34, year = 2000 }