Notice de personne
- Notice
Gordon, Michael J. C. (1948-....) forme internationale
Pays :
Royaume-Uni.
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1948-02-28
Mathématicien et informaticien.
Forme(s) rejetée(s) :
< Gordon, Mike (1948-.... ; mathématicien)
< Gordon, Mike (1948-.... ; mathématicien)
Source(s) :
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. . - 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
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. . - 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
Consultée(s) en vain :
Encyclopedic dictionary of mathematics, 1987
Encyclopedic dictionary of mathematics, 1987
Identifiant international de l'autorité :
ISNI 0000 0001 1077 6724
, cf.
http://isni.org/isni/0000000110776724
Identifiant de la notice : ark:/12148/cb12424739g
Notice n° :
FRBNF12424739
Création :
94/10/10
Mise à jour :
22/08/12