Your Waterstones card is changing, introducing...
TELL ME MORE
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Artificial Intelligence 9195 (Paperback)
  • Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Artificial Intelligence 9195 (Paperback)
zoom

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Artificial Intelligence 9195 (Paperback)

(editor), (editor)
£69.99
Paperback 640 Pages / Published: 30/07/2015
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer International Publishing AG
ISBN: 9783319214009
Number of pages: 640
Weight: 9942 g
Dimensions: 235 x 155 x 34 mm
Edition: 1st ed. 2015

You may also be interested in...

Machine Learning for Hackers
Added to basket
How Intelligence Happens
Added to basket
Understanding Machine Learning
Added to basket
Reinforcement Learning
Added to basket
Programming Game AI By Example
Added to basket
Machine Learning
Added to basket
£42.50
Paperback
Dark Pools
Added to basket
£9.99
Paperback
The Singularity is Near
Added to basket
Artificial Intelligence: The Basics
Added to basket
The Elements of Statistical Learning
Added to basket
Emotion: A Very Short Introduction
Added to basket
Understanding Beliefs
Added to basket
The Quest for Artificial Intelligence
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.