Publication | Closed Access
The foundation of a generic theorem prover
382
Citations
11
References
1989
Year
EngineeringGeneric Theorem ProverAutomated ReasoningFormal MethodsAutomated ProofProof TheoryComputer ScienceProof System
| Year | Citations | |
|---|---|---|
Page 1
Page 1