Browsing by Author 80ecc7aa-135a-4872-b549-8270ef403836
Showing results 1 to 2 of 2
Mechanising Theoretical Upper Bounds in Planning
Author(s) | Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | June 21-26 2014 |
Verified characteristic formulae for CakeML
Author(s) | Guéneau, Armäel; Myreen, Magnus O.; Kumar, Ramana, et al |
---|---|
Type | Conference paper |
Date Published | 2017 |
Date Created | April 22-29 2017 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator