Libri di automatic theorem proving

Using sophisticated models in resolution theorem proving

Automated reasoning with analytic tableaux and related methods

A fascinating country in the world of computing

Automated reasoning

7th International Conference on Automated Deduction

Interactive theorem proving and program development

Resolution proof systems

Logical frameworks

Theorem proving in higher order logics

Automated theorem proving

A proof theory for general unification

Automated deduction in multiple-valued logics

Computational logic and proof theory

Handbook of automated reasoning

Mechanical Geometry Theorem Proving

9th International Conference on Automated Deduction

Proceedings

Mathematical knowledge management

Theorem proving in higher order logics

Mechanizing mathematical reasoning