|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Paperback)
Loot Price: R1,624
Discovery Miles 16 240
|
|
|
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Paperback)
Series: Lecture Notes in Artificial Intelligence, 7364
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Joint Conference on Automated Reasoning, IJCAR 2012,
held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of
leading events in automated reasoning, namely CADE (International
Conference on Automated Deduction), FroCoS (International Symposium
on Frontiers of Combining Systems), FTP (International Workshop on
First-Order Theorem Proving), and TABLEAUX (International
Conference on Automated Reasoning with Analytic Tableaux and
Related Methods). The 32 revised full research papers and 9 system
descriptions presented together with 3 invited talks were carefully
reviewed and selected from 116 submissions. The papers address all
aspects of automated reasoning, including foundations,
implementations, and applications.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
