Get Free Shipping on orders over $0
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


$426.75

or 4 interest-free payments of $106.69 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

Audience: General Adult

Dimensions (cm): 22.86 x 15.24

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Foundation Mathematics - K. A. Stroud

RRP $128.99

$109.99

15%
OFF
BEADING WITH ALGORITHMS : CELLULAR AUTOMATA IN PEYOTE STITCH - Gwen Fisher
Applied Mathematics with F# - Sudipta Mukherjee
Axiomatic Set Theory : An Introduction - George Tourlakis
AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil
Hands-On Generative AI with Transformers and Diffusion Models - Omar Sanseviero
Practical Weak Supervision : Doing More with Less Data - Amit Bahree