Deduction and Decision Procedures, 30.09. - 05.10.2007

Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, editors, Deduction and Decision Procedures, 30.09. - 05.10.2007. Volume 07401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

Conference: Dagstuhl2007

Bibliographies