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


$421.99

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

Feature Selection and Feature Extraction on Omics Data - Saurav Mallik
AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Smart Technologies and Intelligent Computing - Jaskaran Singh

RRP $441.00

$376.75

15%
OFF
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF