Tomás Jesús
Recio Muñiz


University of Belgrade
Belgrado, SerbiaPublicacions en col·laboració amb investigadors/ores de University of Belgrade (1)
2015
-
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59