Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004

From Tetherless World Wiki

\begin{bibtex} @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}

}

\end{bibtex}