Number of items: 32.
Thinking about proof -
Christian Bokhove,
Athina Thoma,
David Gammack,
Lu Heng Sunny Yu,
Sarah Roberts and
Frances Downey
Type: Book
| 2022
| University of Southampton
Type: Conference or Workshop Item
| 2022
| Association for Computing Machinery
Type: Article
| 2022
| Item availability restricted.
Type: Article
| 2022
| Item not available on this server.
Type: Article
| 2022
| Item not available on this server.
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
This list was generated on Tue Nov 18 02:44:50 2025 GMT.