@inproceedings{DBLP:conf/cade/Winterstein04,
author = {Daniel Winterstein},
title = {Dr.Doodle: A Diagrammatic Theorem Prover},
booktitle = {IJCAR Doctoral Programme},
year = {2004},
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/16-winterstein.pdf},
crossref = {DBLP:conf/cade/2004phd},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cade/2004phd,
editor = {Ulrike Sattler},
title = {Contributions to the Doctoral Programme of the 2nd International
Joint Conference on Automated Reasoning, Cork, Ireland,
July 4-8, 2004},
booktitle = {IJCAR Doctoral Programme},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {106},
year = {2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
