dblp.uni-trier.de www.uni-trier.de

2. IJCAR / 20. CADE / 13. TABLEAUX / 5. ForCoS / 6. FTP 2004 Doctoral Programme: Cork, County Cork, Ireland

Ulrike Sattler (Ed.): Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR Workshop Proceedings 106 CEUR-WS.org 2004 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:18:16 2010 by Michael Ley (ley@uni-trier.de)