Sign in with Facebook
Automated Reasoning Books
Showing 1-50 of 59
Automated Theorem Proving (Künstliche Intelligenz)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 1 rating — published 1982
Type Theory and Formal Proof: An Introduction (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.65 — 20 ratings — published 2014
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
by (shelved 1 time as automated-reasoning)
avg rating 4.38 — 26 ratings — published 2004
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 4 ratings — published 1994
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat (Foundations and Trends(r) in Machine Learning)
by (shelved 1 time as automated-reasoning)
avg rating 0.0 — 0 ratings — published
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)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 2 ratings — published
The Little Typer (Mit Press)
by (shelved 1 time as automated-reasoning)
avg rating 4.08 — 96 ratings — published 2018
The Little Prover (Paperback)
by (shelved 1 time as automated-reasoning)
avg rating 3.98 — 49 ratings — published 2015
![[(The Resolution Calculus )] [Author: Alexander Leitsch] [Sep-2011]](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1696881078l/195719608._SX50_.jpg)
[(The Resolution Calculus )] [Author: Alexander Leitsch] [Sep-2011]
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 1 rating — published
Deduction Systems (Texts in Computer Science)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 1 rating — published 1996
Handbook of Tableau Methods (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 2 ratings — published 1999
The Computer Modelling of Mathematical Reasoning (Paperback)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 3 ratings — published 1983
![[(Thirty Five Years of Automating Mathematics )] [Author: Fairouz D. Kamareddine] [Nov-2003]](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1697707532l/144254114._SX50_.jpg)
[(Thirty Five Years of Automating Mathematics )] [Author: Fairouz D. Kamareddine] [Nov-2003]
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published
Modelling Puzzles in First Order Logic (Kindle Edition)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.12 — 8 ratings — published 2014
Knowledge Representation, Reasoning and Declarative Problem Solving (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.60 — 5 ratings — published 1999
Logical Foundations of Artificial Intelligence (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.86 — 7 ratings — published 1987
AI & Expertise: Heuristic Search, Inference Engines, Automatic Proving (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 1 rating — published 1989
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.11 — 28 ratings — published 2004
Handbook of Automated Reasoning, Vol. 1 (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.25 — 4 ratings — published 2001
Concrete Semantics: With Isabelle/HOL (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 2014
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
by (shelved 1 time as automated-reasoning)
avg rating 4.60 — 5 ratings — published 1990
Logik für Informatiker (Paperback)
by (shelved 1 time as automated-reasoning)
avg rating 3.42 — 24 ratings — published 1992
Automated Reasoning: Introduction and Applications/Book & Disk (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 2 ratings — published 1992
Superminds: The Surprising Power of People and Computers Thinking Together (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.57 — 332 ratings — published
Reprogramming the American Dream: From Rural America to Silicon Valley—Making AI Serve Us All (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.45 — 320 ratings — published 2020
Artificial Intelligence and the Technological Singularity (Opposing Viewpoints)
by (shelved 1 time as automated-reasoning)
avg rating 3.25 — 8 ratings — published
Generic Inference: A Unifying Theory for Automated Reasoning (Kindle Edition)
by (shelved 1 time as automated-reasoning)
avg rating 0.0 — 0 ratings — published 2012
Causality: Models, Reasoning, and Inference (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.17 — 329 ratings — published 2000
Conceptual Structures: Information Processing in Mind and Machine (SYSTEMS PROGRAMMING SERIES)
by (shelved 1 time as automated-reasoning)
avg rating 4.50 — 12 ratings — published 1983
Answer Set Solving in Practice (Synthesis Lectures on Artificial Intelligence and Machine Learning)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 3 ratings — published 2012
Artificial Intelligence: A Modern Approach (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.20 — 4,435 ratings — published 1994
Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence)
by (shelved 1 time as automated-reasoning)
avg rating 3.74 — 47 ratings — published 1992
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
by (shelved 1 time as automated-reasoning)
avg rating 3.50 — 4 ratings — published 2002
Term Rewriting and All That (Paperback)
by (shelved 1 time as automated-reasoning)
avg rating 4.15 — 20 ratings — published 1998
Logic: Form and function - The Mechanization of Deductive Reasoning (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.40 — 10 ratings — published 1980
Automation of Reasoning 1: Classical Papers on Computational Logic 1957-1966 (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 1983
Automation of Reasoning 2: Classical Papers on Computational Logic 1967-1970 (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 1983
The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.87 — 15 ratings — published 2007
Automated theorem proving: A logical basis (Fundamental studies in computer science)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 1978
Principles of Artificial Intelligence (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.90 — 21 ratings — published 1980
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
by (shelved 1 time as automated-reasoning)
avg rating 4.60 — 5 ratings — published 1973
Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)
by (shelved 1 time as automated-reasoning)
avg rating 3.00 — 1 rating — published 1991
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 1 rating — published 2000
Handbook of Automated Reasoning (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 4.00 — 3 ratings — published 2001
Handbook of Practical Logic and Automated Reasoning (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 3.85 — 13 ratings — published 2009
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic (Hardcover)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 1993
Computational Logic Handbook, A (Formal Methods)
by (shelved 1 time as automated-reasoning)
avg rating 4.50 — 2 ratings — published 1997
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
by (shelved 1 time as automated-reasoning)
avg rating 5.00 — 1 rating — published 2000
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series, 3)
by (shelved 1 time as automated-reasoning)
avg rating 3.00 — 1 rating — published 1996
