eTheses Repository

Browse by Author/Supervisor

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

Baker, Josef B. (2012) A linear grammar approach for the analysis of mathematical documents. Ph.D. thesis, University of Birmingham.

Sadawi, Noureddin (2013) A rule-based approach for recognition of chemical structure diagrams. Ph.D. thesis, University of Birmingham.

Shenaiber, Nourah (2015) Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover. Ph.D. thesis, University of Birmingham.

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

Xia, Fubiao (2013) Designated confirmer signatures: modelling, design and analysis. Ph.D. thesis, University of Birmingham.

Sabeghi Saroui, Behrang (2015) Recognition of mathematical handwriting on whiteboards. Ph.D. thesis, University of Birmingham.

This list was generated on Sat Feb 6 18:39:38 2016 GMT.