Publication | Closed Access
Automated deduction by theory resolution
280
Citations
19
References
1985
Year
EngineeringAutomated ReasoningFormal MethodsAutomated ProofFormal Mathematical ReasoningComputer ScienceTheory ResolutionSequent Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1