Notice de personne
- Notice
000 cx a22 45
001 FRBNF119177478
005 20170929
010 .. $a 0000000121229574 $2 VIAF $d 20130724
039 .. $o OPL $a 001168093
100 .. $a 19780621afrey50 ba0
101 .. $a fre
102 .. $a FR
103 .. $a 19371221 20170921
105 .. $a a
106 .. $a 1
120 .. $a b
200 .| $7 ba0yba0y $8 fre $9 0 $a Nivat $b Maurice $f 1937-2017
300 0. $a A écrit aussi en anglais
300 0. $a 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)
301 .. $a Clermont-Ferrand (Puy-de-Dôme, France) $b Sevran (Seine-Saint-Denis)
801 .. $a FR $b FR-751131015 $c 20170929
810 .. $a On the interpretation of recursive program schemes / M. Nivat, 1974 $a 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
810 .. $a WW, France 1992-1993 $a Le Monde (article nécrologique), 2017-09-29 $a Société mathématique de France - http://smf.emath.fr/content/d%C3%A9c%C3%A8s-de-maurice-nivat
(2017-09-26)
