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

21. CADE 2007: Bremen, Germany - ESARLT

Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257 CEUR-WS.org 2007 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sun May 26 00:53:29 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page