A Symbolic Model of Proof Acquisition in ACT-R. University of Denver Undergraduate Research Journal, [S. l.], v. 7, n. 1, 2026. Disponível em: https://duurjportal.com/index.php/duurj/article/view/263. Acesso em: 22 may. 2026.