Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R3,246
Discovery Miles 32 460
|
|
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Paperback, 2014 ed.)
Series: Lecture Notes in Computer Science, 8562
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 7th
International Joint Conference on Automated Reasoning, IJCAR 2014,
held as part of the Vienna Summer of Logic, VSL 2014, in Vienna,
Austria, in July 2014. IJCAR 2014 was a merger of three leading
events in automated reasoning, namely CADE (International
Conference on Automated Deduction), FroCoS (International Symposium
on Frontiers of Combining Systems) and TABLEAUX (International
Conference on Automated Reasoning with Analytic Tableaux and
Related Methods). The 26 revised full research papers and 11 system
descriptions presented together with 3 invited talks were carefully
reviewed and selected from 83 submissions. The papers have been
organized in topical sections on HOL, SAT and QBF, SMT, equational
reasoning, verification, proof theory, modal and temporal
reasoning, SMT and SAT, modal logic, complexity, description logics
and knowledge representation and reasoning.
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.