Automated Reasoning with Analytic Tableaux and Related Methods: 30th Internation
67,03 €
The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.
Jetzt bei Ebay:
