Pavel Pech
AuthID: R-00J-023
1
TITLE: Preface
AUTHORS: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
AUTHORS: Francisco Botana; Achim Brucker; Roman Hasek; Filip Maric; Walther Neuper; Pavel Pech; Pedro Quaresma; Vanda Santos; Wolfgang Schreiner; Burkhart Wolff;
PUBLISHED: 2018, SOURCE: 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 267
INDEXED IN: 
WOS
WOS