Concepedia
1997 · 55 citations · 0 references
EducationMathematicsLegal ReasoningArgumentationCounterfactual ReasoningDeductive ReasoningExplanationProof AssistantsTheorem ProvingCounterexample ProofsExplanatory ProofProof Justification