loading...

UC.PT

ThEdu'17

Presentations

Invited Talk

  • Theorem proving components in GeoGebra, Francisco Botana,  University of Vigo, Spain - Abstract

Normal Presentations (accepted extended abstracts)