Browsing by Author Davenport, James
Results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 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 |