Preface
- Botana, Francisco
- Brucker, Achim
- Hasek, Roman
- Maric, Filip
- Neuper, Walther
- Pech, Pavel
- Quaresma, Pedro
- Santos, Vanda
- Schreiner, Wolfgang
- Wolff, Burkhart
Aldizkaria:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN: 2075-2180
Argitalpen urtea: 2018
Biltzarra: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu)
Mota: Biltzar ekarpena