"Introduction to HOL : a theorem proving environment for higher order logic / ed. by M. J. C. Gordon and T. F. Melham, 1993. - . - BLNA, 1994-02 : Gordon, M. J. C.. - . -"@fr . . . . "Michael J. C. Gordon"@fr . . . . . "2013-07-26"^^ . . "Mike Gordon (mathématicien)"@fr . . "Gordon" . . "VIAF" . . . . . . . . . . "LCNA (CD OCLC), 1994-06. - . - Higher order logic theorem proving and its applications [Texte électronique] : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 / sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 / edited by Luc J.M. Claesen, Michael J.C. Gordon.- Amsterdam ; New York : North-Holland, 1993. - . -"@fr . . . "Mathématicien et informaticien"@fr . . . . . "male" . "1994-10-18" . "0000000110776724" . "Michael J. C. Gordon" . "12424739"^^ . "1948"^^ . . . "2022-08-12" . "Mathématicien et informaticien" . . "Mathématicien et informaticien" . . . "Michael J. C." . .