Gordon, Michael J. C. (1948-....)

Gordon, Michael J. C. (1948-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 132935368

URI de l'entité : http://www.idref.fr/132935368/id

Notice de type Personne

Point d'accès autorisé

Gordon, Michael J. C. (1948-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Royaume-Uni de Grande-Bretagne et d'Irlande du Nord

Date de naissance : 1948

Genre : Masculin

Notes

Note publique d'information :

Mathématicien et informaticien

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/93782851

Identifiant Wikidata : Q6831376

Identifiant ZBMath : gordon.michael-j-c

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12424739g

Identifiant ISNI : 0000000110776724

Source

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / forganized 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, 1993

Internet, www.bn.fr, 2009-04-21

... Références liées : ...