🎉   Please check out our new website over at books-etc.com.

Seller
Your price
£44.08
RRP: £54.99
Save £10.91 (20%)
Printed on Demand
Dispatched within 14-21 working days.

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings. Lecture Notes in Artificial Intelligence 10501

Format: Paperback / softback
Publisher: Springer International Publishing AG, Cham, Switzerland
Published: 31st Aug 2017
Dimensions: w 156mm h 234mm d 21mm
Weight: 554g
ISBN-10: 331966901X
ISBN-13: 9783319669014
Barcode No: 9783319669014
Trade or Institutional customer? Contact us about large order quotes.
Synopsis
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They 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.

New & Used

Seller Information Condition Price
-New£44.08
+ FREE UK P & P

What Reviewers Are Saying

Be the first to review this item. Submit your review now