Explore Books on
démonstration automatique

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

Automated Theorem Proving in Software Engineering

By Johann M. Schumann

ONTIC

By David A. McAllester

Symbolic logic and mechanical theorem proving

By Chin-Liang Chang

Automated Reasoning with Analytic Tableaux and Related Methods

By Neil V. Murray

From logic design to logic programming

By Dominique Snyers

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

By Conference on Automated Deduction (6th 1982 New York, N.Y.)

Symbolic computation and automated reasoning

By CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)

Automated deduction, CADE-13

By International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.)

The resolution calculus

By Alexander Leitsch

Automated theorem proving

By W. Bibel

PX, a computational logic

By Susumu Hayashi

Compositionality, concurrency, and partial correctness

By J. Zwiers

Correct system design

By Bernhard Steffen,E.-R Olderog

Automated reasoning

By Larry Wos

9th International Conference on Automated Deduction

By International Conference on Automated Deduction (9th 1988 Argonne, Ill.)