Gérard Huet (informaticien)

Country :France
Language :français
Gender :masculin
Note :Docteur ès sciences mathématiques (Paris VI, 1976). - Directeur de recherches à l'Institut national de recherche en informatique et automatique [INRIA] (en 1990). - Signe "Gérard" ses publications en français et "Gérard P." ses publications en anglais
Variant of the name :Gérard Pierre Huet
ISNI :ISNI 0000 0001 1932 5321

Occupations

Auteur du texte6 documents

  • La Gestion des données dans les systèmes informatiques

    Material description : 327 p. multigr.
    Note : Note : Université de Paris, Société des électriciens, des électroniciens et des radioélectriciens, Ecole supérieure d'électricité
    Edition : Malakoff : Ecole supérieure d'électricité , 1974
    Éditeur scientifique : École supérieure d'électricité. Gif-sur-Yvette, Essonne

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35356002r]
  • A Mechanization of type theory

    Material description : IV-26 f. multigr.
    Note : Note : Résumé en anglais et en français. - Bibliogr. f. 25-26
    Edition : Rocquencourt : LABORIA , 1973

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34647194x]
  • Le Projet prévision-réalisation des vols

    Material description : 27 cm, 9 f., pl. H. c
    Note : Note : Copyright 1970
    Edition : Paris : SINCRO, Société d'informatique, de conseils et de recherche opérationnelle , [1970]
    Éditeur scientifique : Société d'informatique, de conseils et de recherche opérationnelle

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35357436d]
  • Résolution d'équations dans les langages d'ordre

    Material description : Pag. mult.
    Edition : [S.l. : s.n.] , 1976

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35028464r]
  • Spécifications pour une base commune de données

    Material description : [III-] 32 f., multigr.
    Edition : Paris : SINCRO, Société d'informatique, de conseils et de recherche opérationnelle , 1971

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

Éditeur scientifique4 documents

  • Construction, amélioration de programmes

    Material description : 476 p. multigr.
    Note : Note : Notes bibliogr.. - Textes en anglais et français
    Edition : Rocquencourt : I.R.I.A. , 1975
    Éditeur scientifique : Gilles Kahn (1946-2006)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb345767923]
  • Logical environments

    Material description : XIII-338 p.
    Note : Note : Actes de "Second annual workshop of ESPRIT basic research action 3245 "Logical frameworks : design, implementation and experiment", tenu à Edinburgh du 19 au 24 mai 1991. - Bibliogr. à la fin de chaque chap.
    Edition : Cambridge : Cambridge university press , cop. 1993

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37399817t]
  • Sanskrit computational linguistics

    first and second international symposia, Rocquencourt, France, October 29-31, 2007, [and] Providence, RI, USA, May 15-17, 2008

    Material description : 1 vol. (XIV-424 p.)
    Note : Note : Notes bibliogr.
    Edition : Berlin : Springer , 2009

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb42054952g]
  • Sanskrit computational linguistics

    third international symposium, Hyderabad, India, January 15-17, 2009, proceedings

    Material description : 1 vol. (VIII-153 p.)
    Note : Note : Notes bibliogr.
    Edition : Berlin : Springer , 2009

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

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975
    A Mechanization of type theory / Gérard P. Huet, 1973

Variant of the name

  • Gérard Pierre Huet

Wikipedia Biography

  • Gérard Huet, né à Bourges le 7 juillet 1947, est un logicien et chercheur en informatique théorique français.Ingénieur diplômé de Supélec, il est directeur de recherche (de classe exceptionnelle) d'Inria et membre de l'Académie des sciences. Il a obtenu le prix de l'European Association for Theoretical Computer Science 2009 et a été le premier récipiendaire du Grand Prix Inria en 2011.

Closely matched pages