Description: Automated Reasoning With Analytic Tableaux and Related Methods : 26th International Conference, Tableaux 2017, Brasília, Brazil, September 25-28, 2017, Proceedings, Paperback by Schmidt, Renate A. (EDT); Nalon, Cláudia (EDT), ISBN 331966901X, ISBN-13 9783319669014, Brand New, Free shipping in the US This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Price: 91.71 USD
Location: Jessup, Maryland
End Time: 2024-11-25T23:46:56.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Automated Reasoning With Analytic Tableaux and Related Methods :
Number of Pages: Xii, 381 Pages
Language: English
Publication Name: Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2017
Subject: Programming / General, Intelligence (Ai) & Semantics, Computer Science, Logic
Item Weight: 210.6 Oz
Type: Textbook
Item Length: 9.3 in
Author: Cláudia Nalon
Subject Area: Computers, Philosophy
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
