Concepedia
Mathematics Teacher Learning and Teaching PK-12 · 1998 · 28 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsTheory Of ComputationDeductive ReasoningDeductive VerificationProof AssistantsProof ComplexityProof TheoryTheorem ProvingCorrectness ProofsFormal Proof SystemsProof Systems