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

ISSN: 2075-2180

Datum der Publikation: 2018

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

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Fuente de los datos: WoS