Publication | Closed Access
Knowledge-based proof planning
75
Citations
53
References
1999
Year
Knowledge RepresentationEngineeringAutomated ReasoningVerificationKnowledge-based Proof PlanningFormal MethodsProof AssistantAutomated ProofComputer ScienceProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1