Livres de 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

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

Theorem proving in higher order logics

Mechanizing mathematical reasoning

Logic programming and automated reasoning

Logic for programming, artificial intelligence, and reasoning