Stock Image

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proce

Brunnler, Kai

0 ratings by Goodreads
ISBN 10: 3642221181 / ISBN 13: 9783642221187
New Condition: New
From Pbshop (Wood Dale, IL, U.S.A.)

AbeBooks Seller Since August 20, 2015

Quantity Available: > 20

Buy New
List Price: US$ 89.99
Price: US$ 79.16 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # IB-9783642221187

Ask Seller a Question

Bibliographic Details

Title: Automated Reasoning with Analytic Tableaux ...

Publication Date: 2011

Binding: PAP

Book Condition:New

About this title


This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

Ordering - Please place your order via the AbeBooks website and allow 2 working days for dispatch from our US Warehouse. Delivery thereafter is 4 to 14 business days. Returns - We hope you will be delighted with everything you buy from us. However, if you do need to return an item to us, we kindly ask that goods are returned in their original condition within 14 days of receipt. In this instance the return cost must be borne by the buyer. In the event you receive an item which is not as advertis...

More Information
Shipping Terms:

Ships from our US Warehouse in approximately 2 working days. Delivery thereafter is 4 to 14 business days.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express