Concepedia
Bristol Research (University of Bristol) · 1998 · 41 citations · 0 references
Formal ProofsEngineeringGeometryAutomated ReasoningVerificationFormal MethodsProof AssistantAutomated ProofFormal Mathematical ReasoningProof TheoryComputer ScienceProof SystemFormal Verification