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

Dagstuhl Seminar Proceedings: Deduction and Applications 2005

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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