Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Galmiche, Didier; Larchey-Wendling, Dominique
€ 58.43
FREE Delivery in Ireland
Description for Automated Reasoning with Analytic Tableaux and Related Methods
Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, ... Read more
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
299
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
289
Place of Publication
Berlin, Germany
ISBN
9783642405365
SKU
V9783642405365
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Reasoning with Analytic Tableaux and Related Methods