Search
Search Funnelback University
- Refined by:
- Date: 2019
1 -
2 of
2
search results for `download this page`
Fully-matching results
-
CBG Orangepath: HPR L/S Direct Synthesis of Logic Using a SAT Solver…
https://www.cl.cam.ac.uk/~djg11/wwwhpr/dslogic.html19 Mar 2019: Research Note. DJ Greaves. A White Paper based on this web page was published at RSP 2004. ... The work on this page has now been taken forward with a model checker instead of a SAT solver, to handle startup and error recovery. -
www.phpc.cam.ac.uk/pcu/ 1 AUTHOR: Dr Markus Schichtel, GP and…
https://www.phpc.cam.ac.uk/pcu/files/2019/11/PCU-ResearchAlert-1911PUBLISHED.pdf28 Nov 2019: Consider how to remind clinicians to ensure this is routinely done and reviewed. – ... This research alert is published by the Primary Care Unit, University of Cambridge, for clinicians and health commissioners.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.