Article PDF
Rights and permissions
About this article
Cite this article
Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017). Form Asp Comp 29, 933 (2017). https://doi.org/10.1007/s00165-017-0438-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-017-0438-y