The Foundation of a Generic Theorem Prover (1989)

by Lawrence C. Paulson
Venue:Journal of Automated Reasoning
Citations:421 - 47 self

Document Versions

The Foundation of a Generic Theorem Prover –Lawrence C. Paulson — 1989 — Journal of Automated Reasoning
The foundation of a generic theorem prover –Lawrence C Paulson — Journal of Automated Reasoning