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


Automated Reasoning with Analytic Tableaux and Rel...

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

Featured Books

Another Brooklyn
Woodson, Jacqueline
Hardback: $22.99
Rogue Lawyer
Grisham, John
Paperback: $9.99
The Bone Labyrinth
Rollins, James
Paperback: $9.99

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.