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

Any de publicació: 2018

Congrés: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu)

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS