University of Belgrade-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2015

  1. Automated Theorem Proving in GeoGebra: Current Achievements

    Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59