 | Up a level |
Number of items: 1.
Fish, A, Lisitsa, A and Vernitski, A
(2018)
Towards human readability of automated unknottedness proofs.
.
| Up a level |
Fish, A, Lisitsa, A and Vernitski, A
(2018)
Towards human readability of automated unknottedness proofs.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000