Search Results - "University of Edinburgh"

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7

    Rippling in PVS by Adams, Andrew A., Dennis, Louise Abigail

    Published 2003
    “…Rippling was developed primarily by the Mathematical Reasoning Group at the University of Edinburgh. The primary implementations are in the two proof planning systems Clam and Lambda-Clam. …”
    Get full text
  8. 8
  9. 9
  10. 10

    Extensive Reading using Graded Readers by Ruhil Amal, Azmuddin, Zuraina, Ali, Ezihaslinda, Ngah, Nooradelena, Mohd Ruslim, Liyana, Mohd Tamili

    Published 2014
    “…ER was embedded into a 14 week course among a sample of 125 undergraduate students enrolled in the various English core university subjects. Edinburgh Project in Extensive Reading (EPER) was used as a guide in the selection of graded readers as well as the use of placement tests. …”
    Get full text
    Get full text
    Get full text
  11. 11
  12. 12
  13. 13
  14. 14