Return to Article Details Evidential paradigm and processing of computer mathematical knowledge Download Download PDF