Big Books of 2026
Genres

Automated Reasoning


Automated Reasoning Books

Automated Theorem Proving (Künstliche Intelligenz)
Type Theory and Formal Proof: An Introduction
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat (Foundations and Trends(r) in Machine Learning)
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
The Little Typer (Mit Press)
The Little Prover
[(The Resolution Calculus )] [Author: Alexander Leitsch] [Sep-2011]
Deduction Systems (Texts in Computer Science)
Handbook of Tableau Methods
Blank 133x176
The Computer Modelling...
 
by
Alan Bundy
[(Thirty Five Years of Automating Mathematics )] [Author: Fairouz D. Kamareddine] [Nov-2003]
Modelling Puzzles in First Order Logic
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach
More automated reasoning books...