Concepedia
Publication | Closed Access
The utility of independent subgoals in theorem proving
19
Citations
5
References
1971
Year
EngineeringIndependent SubgoalsAutomated ReasoningProof ComplexityProof TheoryProof System
Page 1