%0 Journal Article %1 journals/jsc/AitkenGMT98 %A Aitken, J. Stuart %A Gray, Philip D. %A Melham, Thomas F. %A Thomas, Muffy %D 1998 %J J. Symb. Comput. %K dblp %N 2 %P 263-284 %T Interactive Theorem Proving: An Empirical Study of User Activity. %U http://dblp.uni-trier.de/db/journals/jsc/jsc25.html#AitkenGMT98 %V 25

@article{journals/jsc/AitkenGMT98, added-at = {2021-02-17T00:00:00.000+0100}, author = {Aitken, J. Stuart and Gray, Philip D. and Melham, Thomas F. and Thomas, Muffy}, biburl = {https://www.bibsonomy.org/bibtex/28525e457d235d5c2072862cbe9c095f3/dblp}, ee = {https://doi.org/10.1006/jsco.1997.0175}, interhash = {c3b6ecca42372198c9032a21ee4b5b85}, intrahash = {8525e457d235d5c2072862cbe9c095f3}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 2, pages = {263-284}, timestamp = {2024-04-09T05:33:09.000+0200}, title = {Interactive Theorem Proving: An Empirical Study of User Activity.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc25.html#AitkenGMT98}, volume = 25, year = 1998 }