|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Paperback, 2011)
Loot Price: R1,534
Discovery Miles 15 340
|
|
|
Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Paperback, 2011)
Series: Lecture Notes in Artificial Intelligence, 6803
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 23rd
International Conference on Automated Deduction, CADE-23, held in
Wroc aw, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were
carefully reviewed and selected from 80 submissions. Furthermore,
four invited lectures by distinguished experts in the area were
included. Among the topics addressed are systems and tools for
automated reasoning, rewriting logics, security protocol
verification, unification, theorem proving, clause elimination,
SAT, satifiability, interactive theorem proving, theory reasoning,
static analysis, decision procedures, etc."
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
