Browsing by Author "Vélez, M. Pilar"
Now showing items 1-2 of 2
-
Enunciados ni ciertos ni falsos en razonamiento automático en geometría
Kovács, Zoltán; Recio Muñiz, Tomás; Vélez, M. Pilar (Academia de Ciencias Exactas Físicas Químicas y Naturales, 2018) -
Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
Kovács, Zoltán; Recio Muñiz, Tomás; Vélez, M. Pilar (Research Information, 2018)