Concepedia
Publication | Closed Access
The logic of proofs, semantically
269
Citations
2
References
2004
Year
EngineeringAutomated ReasoningVerificationProof AssistantProof TheorySemanticsProof System
Page 1