Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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.

This list was generated on Tue Sep 21 11:39:06 2021 UTC.