Experiments with proof plans for induction - Concepedia

Concepedia

Publication | Open Access

Experiments with proof plans for induction

DOI Full Paper Access

113

Citations

5

References

1991

Year

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill

Journal of Automated Reasoning

EngineeringAutomated ReasoningVerificationFormal MethodsProof AssistantProof TheoryComputer ScienceProof SystemProof Plans

References

	Year	Citations

Page 1