Nähere Angaben zu den Autor/innen

Pech, Pavel, University of Southern Bohemia, Czech Republic

• R&E-SOURCE S1: Proceedings TIME 2014 Keynotes
  The Use of DGS and CAS in Proving Theorems
  PDF (English)