ISBN 9783540710691,Automated Reasoning

Automated Reasoning

Rs5425 Rs7749 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540710691
Check delivery information
 
ISBN 9783540710691
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540710691

ISBN-10 3540710698
Binding

Paperback

Number of Pages 574 Pages
Subject

Artificial intelligence

Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.
Scroll