Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
 
ISBN
978-3-642-40536-5
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
 
DOI
10.1007/978-3-642-40537-2
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Boudou, Joseph ; Woltzenlogel-Paleo, Bruno Compression of Propositional Resolution Proofs by Lowering SubproofsKonferenzbeitrag Inproceedings2013