Pavel Pech
AuthID: R-00J-023
1
TÃTULO: Preface
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
AUTORES: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLICAÇÃO: 2018, FONTE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, NÚMERO: 267
INDEXADO EM: 
WOS
WOS