Notice de personne
- Notice
Nivat, Maurice (1937-2017) forme internationale
Pays :
France
Langue(s) :
français
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1937-12-21, Clermont-Ferrand (Puy-de-Dôme, France)
Mort :
2017-09-21, Sevran (Seine-Saint-Denis)
A écrit aussi en anglais.
Informaticien et chercheur en informatique. - Docteur ès sciences mathématique 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).
Informaticien et chercheur en informatique. - Docteur ès sciences mathématique 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(s) :
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 . - Le Monde (article nécrologique), 2017-09-29 . - Société mathématique de France : http://smf.emath.fr/content/d%C3%A9c%C3%A8s-de-maurice-nivat (2017-09-26)
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 . - Le Monde (article nécrologique), 2017-09-29 . - Société mathématique de France : http://smf.emath.fr/content/d%C3%A9c%C3%A8s-de-maurice-nivat (2017-09-26)
Identifiant international de l'autorité :
ISNI 0000 0001 2122 9574
, cf.
http://isni.org/isni/0000000121229574
Identifiant de la notice : ark:/12148/cb11917747b
Notice n° :
FRBNF11917747
Création :
78/06/21
Mise à jour :
17/09/29
