Documentation Documentation
Identifiant IdRef : 027048578
Notice de type Personne

Point d'accès autorisé

Nivat, Maurice (1937-2017)

Information

Langue d'expression : Francais
Pays : France
Date de naissance : 21 -  12 -  1937
Date de mort : 21 -  09 -  2017
Genre : Masculin

Notes

Note publique d'information : 
Ecrit aussi en anglais. Informaticien. Docteur ès sciences mathématiques et informatique. Correspondant de l'Académie des sciences (depuis 1983). Directeur du Laboratoire informatique théorique et programmation associé au CNRS et aux universités de Paris VI et VII (1975-1985)

Source

On the interpretation of recursive program schemes / M. Nivat, 1974. Logique et informatique, une introduction / contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.] ; réunies et présentées par Bruno Courcelle ; avant-propos de Maurice Nivat, 1991

WW, France 1992-1993

www.lemonde.fr, 2017-09-27

Information trouvée : décédé le 21 septembre 2017

Autres identifiants

Identifiant BNF : FRBNF119177478
Identifiant ISNI : 0000000121229574

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

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