A Mechanical Proof of the Cook-Levin Theorem.

Ruben Gamboa John R. Cowles

Published in: TPHOLs (2004)

Keyphrases

interactive theorem proving
von neumann
three dimensional
machine learning
theorem prover
mechanical design
data mining
computer vision
case study
database systems
multiscale
theorem proving
proof planning