Explore Books on
demonstration automatique

Theorem proving in higher order logics

By Yves Bertot,Gilles Dowek,Andre Hirschowitz

Artificial intelligence, automated reasoning, and symbolic computation

By International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France)

Theorem proving in higher order logics

By TPHOLs '97 (1997 Murray Hill, N.J.)

Automated deduction, CADE-15

By International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)

Proceedings

By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)

Automated deduction, CADE-11

By International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)

Computational logic and proof theory

By Georg Gottlob

Automated deduction in equational logic and cubic curves

By W. McCune