Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Thomas William Kelsey"'
Autor:
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Thomas William Kelsey, Ursula Martin, Sam Owre
Publikováno v:
University of St Andrews CRIS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abca18e584ae217473c3b10a79d1a211
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/computer-algebra-meets-automated-theorem-proving(415c4eab-706c-4e96-b105-0bc110a69dea).html
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/computer-algebra-meets-automated-theorem-proving(415c4eab-706c-4e96-b105-0bc110a69dea).html
Publikováno v:
University of St Andrews CRIS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::155c99e38c68cf0e609fa413b2cce1ed
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/adult-dental-anxiety(ebb7c062-561c-4951-b0dc-6e47170e21f6).html
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/adult-dental-anxiety(ebb7c062-561c-4951-b0dc-6e47170e21f6).html
Publikováno v:
University of St Andrews CRIS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9684bcdf249f9fd404c821a02b2b1af1
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/tractable-symmetry-breaking-using-restricted-search-trees(f2c34853-8614-4596-b90d-f72f858015ee).html
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/tractable-symmetry-breaking-using-restricted-search-trees(f2c34853-8614-4596-b90d-f72f858015ee).html