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

Ano de publicación: 2018

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

Tipo: Achega congreso