Publication | Closed Access
A Unifying Framework
25
Citations
7
References
1995
Year
Unknown Venue
Unifying FrameworkEngineeringAutomated ReasoningProof ComplexityDesignModel FrameworkAlgebraic MethodDesign FrameworkAutomated ProofKnowledge ManagementComputer ScienceInformation ManagementInverse ProblemsProof TheoryInverse ResolutionSoftware FrameworkComputability Theory
This chapter contains sections titled: Theorem Proving with Inverse Resolution, Extensional Top-Down Methods Revisited, Example
| Year | Citations | |
|---|---|---|
Page 1
Page 1