Explore Books on
automatic theorem proving

1-24 of 430 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 for computer science by jean h. gallier

Logic for computer science

By Jean H. Gallier

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

Logic Programming

By James H. Andrews,J. Andrews

Cover of Automated Reasoning by larry wos

Automated Reasoning

By Larry Wos

Cover of Automated practical reasoning by dongming wang

Automated practical reasoning

By Dongming Wang

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 Certified Programming with Dependent Types by adam chlipala

Certified Programming with Dependent Types

By Adam Chlipala

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

Automated deduction

By W. Bibel,Peter H. Schmitt

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 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 Artificial intelligence and symbolic computation by jacques calmet

Artificial intelligence and symbolic computation

By Jacques Calmet

Cover of Collected Works of Larry Wos by larry wos

Collected Works of Larry Wos

By Larry Wos

Cover of Scalable Techniques for Formal Verification by sandip ray

Scalable Techniques for Formal Verification

By Sandip Ray

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

Rippling

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

Cover of Mechanical Geometry Theorem Proving by shang-ching chou

Mechanical Geometry Theorem Proving

By Shang-Ching Chou

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

Automated Theorem Proving in Software Engineering

By Johann M. Schumann

Cover of Automated Theorem Proving by monty newborn

Automated Theorem Proving

By Monty Newborn

Concrete Semantics

Concrete Semantics

By Tobias Nipkow,Gerwin Klein

Compositionality

Compositionality

By COMPOS '97 (1997 Malente, Germany)

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

Metamathematics, machines, and Gödel's proof

By N. Shankar

Cover of Methods of Cut-Elimination by alexander leitsch

Methods of Cut-Elimination

By Alexander Leitsch

Cover of Automated Deduction in Geometry by francisco botana

Automated Deduction in Geometry

By Francisco Botana

Cover of Computational logic by fariba sadri,robert kowalski

Computational logic

By Fariba Sadri,Robert Kowalski

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

Verifying temporal properties of systems

By J. C. Bradfield