|
|
Edinburgh Research Archive >
Browsing by Publication Type Thesis or Dissertation
Showing results 2535 to 2554 of 3506
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1998 | Proof Planning Coinduction | Dennis, Louise | Bundy, Alan; Green, Ian |
| Jul-1997 | Proof Planning for Automating Hardware Verification | Cantu-Ortiz, Francisco Javier | Bundy, Alan; Smaill, Alan; Basin, David |
| Jun-2006 | A Proof Planning Framework For Isabelle | Dixon, Lucas | Fleuriot, Jacques |
| Jul-1994 | The Proof Theory and Semantics of Intuitionistic Modal Logic | Simpson, Alex K | Plotkin, Gordon |
| 27-Jun-2012 | Proper embodiment: the role of the body in affect and cognition | Stapleton, Margarita Louisa | Clark, Andrew; Kiverstein, Julian |
| 26-Jun-2012 | Property law in Jersey | MacLeod, Rebecca Frances | Reid, Kenneth; Barr, Alan; Gretton, George |
| 2009 | Property rights, negotiating power and foreign investment: An international and comparative law study on Africa | Cotula, Lorenzo | Tierney, Stephen |
| 26-Nov-2010 | Prophet, Priest and King in Colonial Africa: Anglican and Colonial Political Responses to African Independent Churches in Nigeria and Kenya, 1918-1960 | Higgins, Thomas Winfield | Thompson, T. Jack; Adogame, Afe |
| 3-Jul-2009 | Prospective Memory Development Through Childhood into Adolescence | Bialek, Anna Katarzyna | Logie, Robert |
| 2011 | Prospective Memory Functioning After Stroke: A Research Portfolio | Barr, Arlene Cameron | Laidlaw, Ken |
| 2009 | Protection of neuromuscular sensory endings by the WldS gene | Oyebode, Oyinlola R. O. | Ribchester, Richard |
| 2009 | Protective role of 11β-HSD1 inhibition in the metabolic syndrome and atherosclerosis | Wamil, Małgorzata | Seckl, Jonathan; Morton, Nicholas |
| 25-Jun-2012 | Proteins, anatomy and networks of the fruit fly brain | Knowles-Barley, Seymour Francis | Armstrong, Douglas |
| 2010 | Proteomics and protein activity profiling: an investigation into the salivary proteome and kinase activities in various systems using mass spectrometry | McAllister, Fiona E. | Barran, Perdita; Rappsilber, Juri; Campopiano, Dominic; Tasker, Peter |
| 29-Jun-2012 | Protestants and prawns: enchantment and 'The Word' in a Scottish fishing village | Webster, Joseph | Tsintjilonis, Dimitri; Rosie, Michael |
| 2010 | Proton decay matrix elements from lattice QCD | Cooney, Paul | - |
| 2002 | Proton Radioactivity Studies | Mahmud, Hassan A A | - |
| 2006 | Prototype categorisation and the emergence of a lexicon in an infinite world | Laskowski, Cyprian | Hurford, Jim; Smith, Andrew |
| 29-Jun-2011 | The Prototype Effect in the Recognition of Familiar Faces: Sixteen Heads are Better than One | Lemaigre, Charlotte | MacKenzie, Graham |
| 5-Dec-2008 | Providing Automated Semantic Support for Software Agents in Spatial Decision Support Systems | Li, Sen | Mackaness, William |
Showing results 2535 to 2554 of 3506
|
