Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Paperback, 1st ed. 2015)
Loot Price: R3,593
Discovery Miles 35 930
|
|
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Paperback, 1st ed. 2015)
Series: Lecture Notes in Artificial Intelligence, 9195
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 25th International
Conference on Automated Deduction, CADE-25, held in Berlin,
Germany, in August 2015. The 36 revised full papers presented ( 24
full papers and 12 system descriptions) were carefully reviewed and
selected from 85 submissions. CADE is the major forum for the
presentation of research in all aspects of automated deduction,
including foundations, applications, implementations and practical
experience.
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.