Deduction and applications
Date
Authors
Baader, Franz
Baumgartner, Peter
Nieuwenhuis, Robert
Voronkov, Andrei
Journal Title
Journal ISSN
Volume Title
Publisher
Internationales Begegnungs und Forschungszentrum fuer Informatik
Abstract
Description
Keywords
Citation
Collections
Source
Dagstuhl Seminar Proceedings
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description