Lessons learned from LCF: A Survey of Natural Deduction Proofs
Work
Year: 1985
Type: article
Abstract: The LCF project has produced a family of interactive, programmable theorem-provers, particularly intended for verifying computer hardware and software. The introduction sketches basic concepts: the me... more
Source: The Computer Journal
Author Lawrence C. Paulson
Cites:
Cited by: 9
Related to: 10
FWCI: 1.928
Citation percentile (by year/subfield): 75.39
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze