Un sistema de análisis de coordinación funcional entre dimensiones semántica, lógica y epistémica en demostraciones matemáticas

Miguel Esteve Blasco, José María Chamoso Sánchez

DOI: 10.5281/zenodo.23737033

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.