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 Sat Nov 23 00:16:07 2024 GMT.