Explore Books on
theoremes

Theorem proving in higher order logics

By Yves Bertot,Gilles Dowek,Andre Hirschowitz

Theorem proving in higher order logics

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

Artificial intelligence, automated reasoning, and symbolic computation

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

Automated deduction in equational logic and cubic curves

By W. McCune

Automated deduction, CADE-15

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

Automated deduction, CADE-11

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

Proceedings

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

Computational logic and proof theory

By Georg Gottlob