Notice de personne

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

Nationalité(s) : 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)