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

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

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

Usually dispatched 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...

Understanding Beliefs
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
Programming Computer Vision with Python
Added to basket
Emotion: A Very Short Introduction
Added to basket
The Elements of Statistical Learning
Added to basket
Reinforcement Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
Introduction to Machine Learning
Added to basket
Machine Learning
Added to basket
£42.50
Paperback
Computer Vision
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Machine Learning
Added to basket
The Quest for Artificial Intelligence
Added to basket
Machine Learning
Added to basket
£39.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.