Search
Search Funnelback University
- Refined by:
- Date: 2021
Did you mean economicsprofessor |u:www.cst.cam.ac.uk?
1 -
2 of
2
search results for Economics lesson |u:www.cst.cam.ac.uk
where 0
match all words and 2
match some words.
Results that match 1 of 2 words
-
DAVID STROHMAIERComputer Lab � University of Cambridge � Cambridge ...
https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/profile/ds858/cv_strohmaier.pdf4 Aug 2021: Research Visit at the London School of Economics 2018Host: Prof. Christian ListDuration: 1 trimester. ... Title: A New Condition for Group Agency.2016 – 3rd International Conference Economic Philosophy. -
Lawrence Charles Paulson FRSProfessor of Computational Logic,…
https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/profile/lp15/vita.pdf4 Mar 2021: 2. Lessons learned from LCF. DDC Workshop on Formal Software Development: CombiningSpecification Methods, Nyborg, Denmark (1984). ... Logroño, Spain, June 2016. 30. Porting the HOL Light analysis library: Some lessons.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.