Notice de personne
- Notice
Goubault-Larrecq, Jean forme internationale
Pays :
France
Langue(s) :
français
Responsabilité(s) exercée(s) sur les documents :
Auteur
Écrit aussi en anglais.
Mathématicien. - En poste au GIE Dyade, Institut national de recherche en informatique et en automatique, INRIA, Rocquencourt, Yvelines (en 1997).
Mathématicien. - En poste au GIE Dyade, Institut national de recherche en informatique et en automatique, INRIA, Rocquencourt, Yvelines (en 1997).
Forme(s) rejetée(s) :
< Larrecq, Jean Goubault-
< Larrecq, Jean Goubault-
Source(s) :
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie, 1997
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie, 1997
Consultée(s) en vain :
World dir. of math., 1994 . - WW, France 1996-1997 . - WW in sci. in Europe, 1995
World dir. of math., 1994 . - WW, France 1996-1997 . - WW in sci. in Europe, 1995
Identifiant international de l'autorité :
ISNI 0000 0001 1591 556X
, cf.
http://isni.org/isni/000000011591556X
Identifiant de la notice : ark:/12148/cb135205963
Notice n° :
FRBNF13520596
Création :
99/03/10
Mise à jour :
99/03/25
