ISBN 9783540710691,Automated Reasoning

Automated Reasoning

Rs7439

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