First-order Logic and Automated Theorem Proving

Automated theorem proving in software engineering

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Interactive Theorem Proving - ITP 2011

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Logic for computer science: foundations of automatic theorem proving

Logic For Computer Science Foundations of Automatic Theorem Proving Copyright 2003, Jean H. Gallier June 2003 Jean G...

Interactive Theorem Proving and Program Development

Conditional and Preferential Logics: Proof Methods and Theorem Proving

CONDITIONAL AND PREFERENTIAL LOGICS: PROOF METHODS AND THEOREM PROVING Frontiers in Artificial Intelligence and Appli...

Handbook of Practical Logic and Automated Reasoning

This page intentionally left blank HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING John Harrison The sheer compl...

Handbook of practical logic and automated reasoning


Handbook of Practical Logic and Automated Reasoning


Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

First-order Logic and Automated Theorem Proving

Automated theorem proving in software engineering

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Interactive Theorem Proving - ITP 2011

Logic for computer science: foundations of automatic theorem proving

Interactive Theorem Proving and Program Development

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Handbook of Practical Logic and Automated Reasoning

Handbook of practical logic and automated reasoning

Handbook of Practical Logic and Automated Reasoning

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002

Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003))

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96

Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008

Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007

Theorem Proving in Higher Order Logics, 11 conf., TPHOLs'98

Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005

Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003

Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000

Air Logic Control for Automated Systems

Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Theorem Proving in Higher Order Logics, 10 conf., TPHOLs'97

Proving Herself

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: ... 7th

Logic, Logic, and Logic

Logic, logic, and logic

Cambridge Handbook Of Practical Logic And Automated Reasoning

Automated Deduction in Equational Logic and Cubic Curves

First-order Logic and Automated Theorem Proving

Automated theorem proving in software engineering