Percorrer por autor Davenport, James
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 |