Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Mahesar, Quratul-ain (2014). Computing relatively large algebraic structures by automated theory exploration. University of Birmingham. Ph.D.

This list was generated on Thu Apr 25 13:33:42 2024 BST.