Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Thesis (University of Nottingham only)
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 Sat Feb 1 12:24:21 2025 UTC.