View of A Symbolic Model of Proof Acquisition in ACT-R

Return to Article Details A Symbolic Model of Proof Acquisition in ACT-R Download Download PDF