Get Free Shipping on orders over $79
Automated Theorem Proving : Theory and Practice - Glenn Derry

Automated Theorem Proving

Theory and Practice

By: Glenn Derry (Editor)

Hardcover | 25 August 2025

At a Glance

Hardcover


$441.75

or 4 interest-free payments of $110.44 with

 or 

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

ISBN: 9781647286798

ISBN-10: 1647286794

Published: 25th August 2025

Format: Hardcover

Language: English

Number of Pages: 210

Dimensions (cm): 22.86 x 15.24

More in Artificial Intelligence

Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Handbook of Reinforcement Learning - Todd Mcmullen