%0 Journal Article %1 journals/cj/GoldsonRB93 %A Goldson, Doug %A Reeves, Steve %A Bornat, Richard %D 1993 %J Comput. J. %K dblp %N 4 %P 373-386 %T A Review of Several Programs for the Teaching of Logic. %U http://dblp.uni-trier.de/db/journals/cj/cj36.html#GoldsonRB93 %V 36

@article{journals/cj/GoldsonRB93, added-at = {2011-06-28T00:00:00.000+0200}, author = {Goldson, Doug and Reeves, Steve and Bornat, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2297e82188e56d0c80b5a526424b6c358/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/36.4.373}, interhash = {401ccc9843cb30637896c463ddef2289}, intrahash = {297e82188e56d0c80b5a526424b6c358}, journal = {Comput. J.}, keywords = {dblp}, number = 4, pages = {373-386}, timestamp = {2011-06-29T16:41:15.000+0200}, title = {A Review of Several Programs for the Teaching of Logic.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj36.html#GoldsonRB93}, volume = 36, year = 1993 }