Deduction and applications

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov

Research output: Contribution to journal › Meeting Abstract › peer-review

Original language	English
Journal	Dagstuhl Seminar Proceedings
Publication status	Published - 2006
Event	Dagstuhl Seminar 2005 - Schloss Dagstuhl Germany Duration: 1 Jan 2006 → … http://drops.dagstuhl.de/opus/volltexte/2006/562

Cite this

@article{983acb3196d04660875bef2a566185cf,

title = "Deduction and applications",

author = "Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov",

year = "2006",

language = "English",

journal = "Dagstuhl Seminar Proceedings",

issn = "1862-4405",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

note = "Dagstuhl Seminar 2005 ; Conference date: 01-01-2006",

url = "http://drops.dagstuhl.de/opus/volltexte/2006/562",

}