Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Lecture Notes in Artificial Intelligence 7788 (Paperback)
  • Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Lecture Notes in Artificial Intelligence 7788 (Paperback)
zoom

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Lecture Notes in Artificial Intelligence 7788 (Paperback)

(editor), (editor)
£39.99
Paperback 259 Pages / Published: 19/03/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.
The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642366741
Number of pages: 259
Weight: 433 g
Dimensions: 235 x 155 x 14 mm
Edition: 2013 ed.

You may also be interested in...

Bayesian Reasoning and Machine Learning
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
The Sciences of the Artificial
Added to basket
Understanding Beliefs
Added to basket
AI for Game Developers
Added to basket
The Singularity Is Near
Added to basket
Reinforcement Learning
Added to basket
Essentials of Game Theory
Added to basket
Machine Learning
Added to basket
Emotion: A Very Short Introduction
Added to basket
Programming Computer Vision with Python
Added to basket
Artificial Intelligence: The Basics
Added to basket
Probabilistic Graphical Models
Added to basket
Introducing Artificial Intelligence
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.