Deduction and Applications, 23.-28. October 2005

Franz Baader (Editor), Peter Baumgartner (Editor), Robert Nieuwenhuis (Editor), Andrei Voronkov (Editor)

    Research output: Chapter in Book/Conference proceeding › Conference contribution

    Original languageEnglish
    Title of host publicationDagstuhl Seminar Proceedings
    PublisherLeibniz-Zentrum für Informatik
    Volume05431
    Publication statusPublished - 2006
    EventDeduction and Applications -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/dagstuhl/P5431.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/2005P5431.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/2005P5431

    Publication series

    NameDagstuhl Seminar Proceedings
    PublisherInternationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany

    Conference

    ConferenceDeduction and Applications
    Period1/01/24 → …
    Internet address

    Access to Document

    Cite this