Browse by Authors and Editors
Number of items: 1. Thesis (University of Nottingham only)Prince, Rawle C.S. (2011) Aspects of the theory of containers within automated theorem proving. PhD thesis, University of Nottingham. |
From 30 July 2018 the research publications of UK based University of Nottingham authors (excluding student deposited eTheses) will be handled through the Research Information System (RIS).
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
