Up a level |
Number of items: 1.
Niknafs-Kermani, A, Konev, B and Fisher, M ORCID: 0000-0002-0875-3862
(2012)
Symmetric temporal theorem proving.
[Unspecified]
Up a level |
Niknafs-Kermani, A, Konev, B and Fisher, M ORCID: 0000-0002-0875-3862
(2012)
Symmetric temporal theorem proving.
[Unspecified]
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000