Michael J. C. Gordon

Country :Grande-Bretagne
Language :anglais
Gender :masculin
Note :
Mathématicien et informaticien
Variant of the name :Mike Gordon (mathématicien)
ISNI :ISNI 0000 0001 1077 6724

Occupations

Éditeur scientifique2 documents

  • Introduction to HOL

    a theorem proving environment for higher order logic

    Material description : XX-472 p.
    Note : Note : Bibliogr. p. 441-443. Index
    Edition : 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

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

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

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • 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

Variant of the name

  • Mike Gordon (mathématicien)

Closely matched pages