Número de registros: 1.
Martín, Lorenzo; Velasco, Juan (2002). La demostración y los sistemas de cálculo simbólico. SUMA, 41, pp. 11-18 .
Este listado fue generado el Mon Apr 22 22:46:55 2024 COT.