P. Quaresma
发表
P. Quaresma,
2010
.
Pedro Quaresma,
Predrag Janicic,
P. Quaresma,
2007,
Electron. Notes Theor. Comput. Sci..
P. Quaresma,
2009
.
P. Quaresma,
2001
.
P. Quaresma,
Vanda Santos,
2022,
ThEdu@CADE.
P. Quaresma,
F. Botana,
2015
.
P. Quaresma,
Vanda Santos,
2012
.
P. Quaresma,
Julien Narboux,
Predrag Janičić,
2012,
J. Autom. Reason..
Pedro Quaresma,
Vanda Santos,
Helena Campos,
2018,
Interact. Learn. Environ..
Pedro Quaresma,
P. Quaresma,
2017,
Math. Comput. Sci..
Pedro Quaresma,
Julien Narboux,
Predrag Janičić,
2012,
J. Autom. Reason..
Pedro Quaresma,
Nuno Baeta,
P. Quaresma,
2019,
ThEdu@FLoC.
Pedro Quaresma,
Vanda Santos,
P. Quaresma,
2008,
2008 Eighth IEEE International Conference on Advanced Learning Technologies.
Pedro Quaresma,
P. Quaresma,
2020,
Mathematics in Computer Science.
P. Quaresma,
Nuno Baeta,
2023,
Annals of Mathematics and Artificial Intelligence.
P. Quaresma,
Vanda Santos,
J. Teles,
2023,
ThEdu@FLoC.
Pedro Quaresma,
P. Quaresma,
2018,
AISC.
Pedro Quaresma,
Yannis Haralambous,
P. Quaresma,
2014,
CICM.
Pedro Quaresma,
Vanda Santos,
P. Quaresma,
2019,
Proof Technology in Mathematics Research and Teaching.
Pedro Quaresma,
Nuno Baeta,
P. Quaresma,
2013,
CICM Workshops.