Michael J. C. Gordon

Pays :Grande-Bretagne
Langue :anglais
Sexe :masculin
Note :
Mathématicien et informaticien
Autre forme du nom :Mike Gordon (mathématicien)
ISNI :ISNI 0000 0001 1077 6724

Ses activités

Éditeur scientifique2 documents

  • Introduction to HOL

    a theorem proving environment for higher order logic

    Description matérielle : XX-472 p.
    Description : Note : Bibliogr. p. 441-443. Index
    Édition : Cambridge : Cambridge university press , 1993
    Éditeur scientifique : Tom F. Melham

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37436395f]
  • 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

    Description matérielle : XIII-568 p.
    Description : Note : Notes bibliogr.
    Édition : Amsterdam ; London ; New York : North-Holland , cop. 1993
    Auteur du texte : International workshop on higher order logic theorem proving and its applications (1992 ; Louvain, Belgique)
    Éditeur scientifique : Luc J. M. Claesen

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37727008d]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • 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

Autre forme du nom

  • Mike Gordon (mathématicien)

Pages équivalentes