Explore Books on
automatic theorem proving

1-24 of 426 Books

Cover of Logic for programming artificial intelligence and reasoning by moshe y. vardi,andrei voronkov

Logic for programming artificial intelligence and reasoning

By Moshe Y. Vardi,Andrei Voronkov

Cover of Logic Programming by james h. andrews,j. andrews

Logic Programming

By James H. Andrews,J. Andrews

Cover of Logic for computer science by jean h. gallier

Logic for computer science

By Jean H. Gallier

Cover of Certified Programming with Dependent Types by adam chlipala

Certified Programming with Dependent Types

By Adam Chlipala

Cover of Logic for Programming, Artificial Intelligence, and Reasoning by ken mcmillan,aart middeldorp,andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Cover of Automated deduction by w. bibel,peter h. schmitt

Automated deduction

By W. Bibel,Peter H. Schmitt

Cover of Automated practical reasoning by dongming wang

Automated practical reasoning

By Dongming Wang

Cover of Automated Reasoning by larry wos

Automated Reasoning

By Larry Wos

Cover of 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)

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)

Cover of Rippling by alan bundy,david basin,dieter hutter,andrew ireland

Rippling

By Alan Bundy,David Basin,Dieter Hutter,Andrew Ireland

Cover of Artificial intelligence and symbolic computation by jacques calmet

Artificial intelligence and symbolic computation

By Jacques Calmet

Cover of Scalable Techniques for Formal Verification by sandip ray

Scalable Techniques for Formal Verification

By Sandip Ray

Cover of Collected Works of Larry Wos by larry wos

Collected Works of Larry Wos

By Larry Wos

Cover of Proof in VDM by juan carlos bicarregui,juan c. bicarregui,john s. fitzgerald

Proof in VDM

By Juan Carlos Bicarregui,Juan C. Bicarregui,John S. Fitzgerald

Cover of Automated Theorem Proving in Software Engineering by johann m. schumann

Automated Theorem Proving in Software Engineering

By Johann M. Schumann

Concrete Semantics

Concrete Semantics

By Tobias Nipkow,Gerwin Klein

Compositionality

Compositionality

By COMPOS '97 (1997 Malente, Germany)

Cover of Practical reasoning by international conference on formal and applied practical reasoning (1996 bonn, germany)

Practical reasoning

By International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)

Cover of A fascinating country in the world of computing by larry wos,gail w. pieper

A fascinating country in the world of computing

By Larry Wos,Gail W. Pieper

Cover of Metamathematics, machines, and Gödel's proof by n. shankar

Metamathematics, machines, and Gödel's proof

By N. Shankar

Cover of Verifying temporal properties of systems by j. c. bradfield

Verifying temporal properties of systems

By J. C. Bradfield

Cover of Relative complexities of first order calculi by elmar eder

Relative complexities of first order calculi

By Elmar Eder

Cover of Automated Technology for Verification and Analysis by dang van hung,mizuhito ogawa

Automated Technology for Verification and Analysis

By Dang Van Hung,Mizuhito Ogawa

Cover of Extensional Constructs in Intensional Type Theory by martin hofmann

Extensional Constructs in Intensional Type Theory

By Martin Hofmann