Automated Reasoning
Author:   Ulrich Furbach ,  Natarajan Shankar
Publisher:   Springer
ISBN:  

9783540827511


Pages:   704
Publication Date:   31 August 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Automated Reasoning


Overview

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

Full Product Details

Author:   Ulrich Furbach ,  Natarajan Shankar
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 3.70cm , Length: 15.60cm
Weight:   0.971kg
ISBN:  

9783540827511


ISBN 10:   354082751
Pages:   704
Publication Date:   31 August 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now