Filter

Automatic Theorem Proving

430 books found

Logic for programming artificial intelligence and reasoning

by Moshe Y. Vardi, Andrei Voronkov

2003 10 ed.

Logic for computer science

by Jean H. Gallier

1985 6 ed.

Logic Programming

by James H. Andrews, J. Andrews

1992 6 ed.

Automated Reasoning

by Larry Wos

1987 5 ed.

Automated practical reasoning

by Dongming Wang

1995 5 ed.

Logic for Programming, Artificial Intelligence, and Reasonin...

by Ken McMillan, Aart Middeldorp

2012 5 ed.

Certified Programming with Dependent Types

by Adam Chlipala

2013 5 ed.

Automated deduction

by W. Bibel, Peter H. Schmitt

1899 5 ed.

Proof in VDM

by Juan Carlos Bicarregui, Juan C. Bicarregui

1994 4 ed.

Foundations and applications of security analysis

by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009 4 ed.

Artificial intelligence and symbolic computation

by Jacques Calmet

2006 4 ed.

Collected Works of Larry Wos

by Larry Wos

2000 4 ed.

Scalable Techniques for Formal Verification

by Sandip Ray

2010 4 ed.

Rippling

by Alan Bundy, David Basin

2005 4 ed.

Mechanical Geometry Theorem Proving

by Shang-Ching Chou

1899 3 ed.

Automated Theorem Proving in Software Engineering

by Johann M. Schumann

2001 3 ed.

Automated Theorem Proving

by Monty Newborn

2000 3 ed.

Concrete Semantics

by Tobias Nipkow, Gerwin Klein

2014 3 ed.

Compositionality

by COMPOS '97 (1997 Malente, Germany)

1998 3 ed.

Metamathematics, machines, and Gödel's proof

by N. Shankar

1994 3 ed.