Preface

  1. Botana, Francisco
  2. Brucker, Achim
  3. Hasek, Roman
  4. Maric, Filip
  5. Neuper, Walther
  6. Pech, Pavel
  7. Quaresma, Pedro
  8. Santos, Vanda
  9. Schreiner, Wolfgang
  10. Wolff, Burkhart
Revista:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

ISSN: 2075-2180

Año de publicación: 2018

Congreso: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS