Visit our Christmas Gift Finder
Click & Collect from 2 Hours*
Last Christmas delivery dates
Free UK Standard Delivery On all orders £20 and over Order in time for Christmas 19th December 2nd Class | 20th December 1st Class Free Click & Collect to UK shops From 2 hours of your order*
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Artificial Intelligence 4603 (Paperback)
  • Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Artificial Intelligence 4603 (Paperback)
zoom

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Artificial Intelligence 4603 (Paperback)

(editor)
£89.99
Paperback 524 Pages / Published: 05/07/2007
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540735946
Number of pages: 524
Weight: 813 g
Dimensions: 235 x 155 x 27 mm
Edition: 2007 ed.

You may also be interested in...

Developmental Robotics
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Thoughtful Machine Learning
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Machine Learning
Added to basket
£37.99
Paperback
The Singularity Is Near
Added to basket
Artificial Intelligence
Added to basket
Subdivision Surfaces
Added to basket
Understanding Machine Learning
Added to basket
Machine Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket

Please sign in to write a review

Your review has been submitted successfully.