Back to Results
First PageMeta Content
Logic / Mathematical logic / Theoretical computer science / Automated theorem proving / Proof theory / Methods of proof / International Workshop on First-Order Theorem Proving / Melvin Fitting / Natural deduction / Sequent calculus / Modal logic / Method of analytic tableaux


TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur
Add to Reading List

Open Document

File Size: 2,18 MB

Share Result on Facebook