Jose Divasón
发表
Jose Divasón,
2018
.
René Thiemann,
Jose Divasón,
2022,
Journal of Automated Reasoning.
Jose Divasón,
Jesús Aransay,
Jose Divasón,
2016,
Formal Aspects of Computing.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2017,
CPP.
Jose Divasón,
Jesús Aransay,
Jose Divasón,
2018,
AISC.
P. Santolaria,
J. Yániz,
M. A. Silvestre,
2023,
Journal of Apicultural Research.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2019,
Journal of Automated Reasoning.
F. J. Martinez-de-Pison,
Jose Divasón,
E. Sáenz-de-Cabezón,
2023,
IEEE Transactions on Learning Technologies.
Jose Divasón,
Jesús Aransay,
Jónathan Heras,
2014,
AISC.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2016,
Arch. Formal Proofs.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2020,
Journal of Automated Reasoning.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
ITP.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
Arch. Formal Proofs.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
Arch. Formal Proofs.
Jose Divasón,
Ana Romero,
Julián Cuevas-Rozo,
2021,
Mathematics.
Jose Divasón,
Francesco Vaccarino,
Andrea Guidolin,
2021,
J. Symb. Comput..
Jose Divasón,
Jesús Aransay,
Jose Divasón,
2017,
Journal of Automated Reasoning.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
CPP.
F. J. M. Ascacíbar,
Jose Divasón,
A. Pernía-Espinoza,
2023,
Neurocomputing.
H. Wynn,
F. Mohammadi,
Jose Divasón,
2023,
ISSAC.