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

Ulrike Sattler Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. IJCAR Doctoral Programme CEUR Workshop Proceedings CEUR-WS.org 106 2004 db/conf/cade/ijcarphd2004.html