Number of items: 33.
A
B
Thinking about proof -
Christian Bokhove,
Athina Thoma,
David Gammack,
Lu Heng Sunny Yu,
Sarah Roberts and
Frances Downey
Type: Book
| 2022
| University of Southampton
C
Type: Conference or Workshop Item
| 2022
| Association for Computing Machinery
G
Type: Article
| 2022
| Item not available on this server.
H
K
Type: Article
| 2022
| Item not available on this server.
L
M
N
Type: Article
| 2022
| Item not available on this server.
P
S
T
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.