Publication | Closed Access
Extracting information from resolution proof trees
61
Citations
7
References
1971
Year
EngineeringData ScienceAutomated ReasoningProof ComplexityVerificationKnowledge DiscoveryFormal MethodsAutomated ProofResolution Proof TreesComputer ScienceProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1