%0 Conference Paper %1 conf/cade/WintersteinBG04 %A Winterstein, Daniel %A Bundy, Alan %A Gurr, Corin A. %B IJCAR %D 2004 %E Basin, David A. %E Rusinowitch, Michaël %I Springer %K dblp %P 331-335 %T Dr.Doodle: A Diagrammatic Theorem Prover. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#WintersteinBG04 %V 3097 %@ 3-540-22345-2

@inproceedings{conf/cade/WintersteinBG04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Winterstein, Daniel and Bundy, Alan and Gurr, Corin A.}, biburl = {https://www.bibsonomy.org/bibtex/299bff954dd6955e0bfa41f3c04b84a85/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2004}, editor = {Basin, David A. and Rusinowitch, Michaël}, ee = {https://doi.org/10.1007/978-3-540-25984-8_24}, interhash = {2781bedaf4378c4ad4c1c6cd9ec10958}, intrahash = {99bff954dd6955e0bfa41f3c04b84a85}, isbn = {3-540-22345-2}, keywords = {dblp}, pages = {331-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:39.000+0200}, title = {Dr.Doodle: A Diagrammatic Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#WintersteinBG04}, volume = 3097, year = 2004 }