Notice de personne

  • Notice
Gordon, Michael J. C. (1948-....) forme internationale

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)

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
Consultée(s) en vain : 
Encyclopedic dictionary of mathematics, 1987



Identifiant international :  ISNI 0000 0001 1077 6724 , cf. http://isni.org/isni/0000000110776724
Notice n° :  FRBNF12424739

Création :  94/10/10
Mise à jour :  08/09/09

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (2)