Explore Books on
démonstration automatique

Automated Theorem Proving in Software Engineering

By Johann M. Schumann

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

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

ONTIC

By David A. McAllester

Symbolic computation and automated reasoning

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

Automated theorem proving

By W. Bibel

PX, a computational logic

By Susumu Hayashi

Automated reasoning

By Larry Wos

9th International Conference on Automated Deduction

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

Compositionality, concurrency, and partial correctness

By J. Zwiers

Automated deduction, CADE-13

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

Formal methods in computer-aided design

By FMCAD '98 (1998 Palo Alto, Calif.)

Correct system design

By Bernhard Steffen,E.-R Olderog

The resolution calculus

By Alexander Leitsch

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

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