|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We use the rules to reduce a sequent to a conjunction of simpler
sequents. In this example we find that the expression asserted by the
sequent is a tautology — it is equivalent to the empty…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In the second part of our spotlight on SEP team, members of the Service Excellence Programme (SEP) share their current activities and hopes for the University as a result of SEP.
Publisher
Tim Gray Licence Type
All rights reserved The University of Edinburgh Date Created
May 15th, 2018
|
|
Isabella Skea - writing the Wikipedia article on "The Lass o' Pairts" Timelapse demonstration of the process of drafting a new page and then publishing it on Wikipedia.
Publisher
Ewan McAndrew - Wikimedian in Residence Licence Type
Creative Commons - Attribution Language
English Date Created
May 7th, 2018
|
|
Members from the Service Excellence Programme (SEP) share their current activities and hopes for the University as a result of SEP.
Publisher
Tim Gray Licence Type
All rights reserved The University of Edinburgh Date Created
March 25th, 2018
|
|
Predicting
Licence Type
Creative Commons - Attribution
|