Number of items: 33.
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 not available on this server.
Type: Article
| 2022
| Item not available on this server.
Type: Article
| 2022
| Item not available on this server.
Type: Article
| 2022
| Item availability restricted.
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
This list was generated on Tue Sep 23 02:42:18 2025 BST.