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
Revue:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

ISSN: 2075-2180

Année de publication: 2018

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

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: WoS