|
|
Edinburgh Research Archive >
Browsing by Title
Showing results 4299 to 4318 of 5968
| Issue Date | Title | Author(s) | Supervisor(s) | | Jun-2006 | A Proof Planning Framework For Isabelle | Dixon, Lucas | Fleuriot, Jacques |
| 1994 | Proof Plans for the Correction of False Conjectures | Bundy, Alan; Monroy, Raul; Ireland, Andrew | - |
| Jul-1994 | The Proof Theory and Semantics of Intuitionistic Modal Logic | Simpson, Alex K | Plotkin, Gordon |
| Sep-1999 | Proofs About Lists Using Ellipsis | Bundy, Alan; Richardson, Julian | - |
| 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 |
| 1999 | The Proportion Underwritten and the Reaction to SEOs: UK Tests of the Eckbo-Masulis Theory | Armitage, Seth | - |
| 1995 | Prosodic modules for speech recognition and understanding in VERBMOBIL. | Hess, Wolfgang; Batliner, A; Kießling, A; Kompe, R; Nöth, E; Petzold, A; Reyelt, M; Strom, Volker | - |
| Apr-1994 | Prosodic phrase segmentation by pitch pattern clustering | Shimodaira, Hiroshi; Nakai, Mitsuru | - |
| 1997 | Prosodic transcription of glasgow english: an evaluation study of GlaToBI | Mayo, Catherine; Aylett, Matthew; Ladd, Robert | - |
| 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 |
| 2004 | Protecting Privacy | MacQueen, Hector L | - |
| 2004 | Protecting privacy: Campbell v MGN Newspapers | MacQueen, Hector L | - |
| 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 |
| Jul-2000 | Proteomic analysis of NMDA receptor–adhesion protein signaling complexes | Husi, Holger; Ward, Malcolm A; Choudhary, Jyoti S; Blackstock, Walter P; Grant, Seth GN | - |
Showing results 4299 to 4318 of 5968
|
