Percorrer por autor Recio, Tomás
Mostrar resultados 1-1 de 1.
Data de publicação | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2019 | Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements | Davenport, James; Fleuriot, Jacques; Quaresma, Pedro ; Recio, Tomás; Wang, Dongming | article | openAccess |