Mike Gordon passed away in 2017. (Obituary)
We preserve here some files from his personal web space, in particular those reachable through his home page. If you know of other widely referenced URLs of his that we should preserve here, please contact pagemaster@cl.cam.ac.uk.
Mike Gordon Director of Research Emeritus Professor of Computer Assisted Reasoning The University of Cambridge Computer Laboratory Room FE19, William Gates Building 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK office: 01223 334627, mobile: 07774 017428
|
puzzleTool