Notice de personne
- Notice
000 nx a22 45
001 FRBNF124888927
010 .. $a 0000000362181049 $2 ISNI $d 20160215
039 .. $o OPL $a 011784386
100 .. $a 19951107afrey50 ba0
101 .. $a fre
102 .. $a FR
103 .. $a 19590613
105 .. $a a
106 .. $a 1
200 .| $7 ba0yba0y $8 fre $9 0 $a Potet $b Marie-Laure $f 1959-....
300 0. $a Titulaire d'un doctorat d'université en informatique (Institut national polytechnique
de Grenoble, 1988)
801 .. $a FR $b FR-751131015 $c 19951107
810 .. $a Preuves et stratégies pour la synthèse déductive de programmes / Marie-Laure Potet,
1988 [thèse univ.]
