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 Sun Jun 26 06:14:50 2016 IST.