Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title


Automated Reasoning with Analytic Tableaux and Related Methods

22th International Conference, Tableaux 2013, Nancy, France, September 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods( )
Editor: Galmiche, Didier
Larchey-Wendling, Dominique
Series title:Lecture Notes in Computer Science Ser.
Publication Date:Aug 2013
Book Format:Paperback
List Price:USD $72.00
Book Description:

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...
More Description

Book Details
Detailed Subjects: Computers / Intelligence (Ai) & Semantics
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.246 Inches
Book Weight:1.016 Pounds

Book Seller





Loading Stock Details...

Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play itunes_store

Featured Books

In the Unlikely Event
Blume, Judy
Paperback: $8.99
The Collapse of Parenting
Sax, Leonard
Paperback: $16.99
The Woman in White
Collins, Wilkie
Paperback: $23.00

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.