%0 Journal Article %1 journals/jfrea/BuchbergerJKMW16 %A Buchberger, Bruno %A Jebelean, Tudor %A Kutsia, Temur %A Maletzky, Alexander %A Windsteiger, Wolfgang %D 2016 %J J. Formaliz. Reason. %K dblp %N 1 %P 149-185 %T Theorema 2.0: Computer-Assisted Natural-Style Mathematics. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#BuchbergerJKMW16 %V 9

@article{journals/jfrea/BuchbergerJKMW16, added-at = {2020-09-24T00:00:00.000+0200}, author = {Buchberger, Bruno and Jebelean, Tudor and Kutsia, Temur and Maletzky, Alexander and Windsteiger, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/234eacb5ce4a17e3b5e5d0fc70f4bf500/dblp}, ee = {https://doi.org/10.6092/issn.1972-5787/4568}, interhash = {d9b88fa67446282000190c5c4762d38a}, intrahash = {34eacb5ce4a17e3b5e5d0fc70f4bf500}, journal = {J. Formaliz. Reason.}, keywords = {dblp}, number = 1, pages = {149-185}, timestamp = {2020-09-25T11:53:02.000+0200}, title = {Theorema 2.0: Computer-Assisted Natural-Style Mathematics.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#BuchbergerJKMW16}, volume = 9, year = 2016 }