Goubault-Larrecq, Jean (19..-....)

Goubault-Larrecq, Jean (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 050235516

URI de l'entité : http://www.idref.fr/050235516/id

Notice de type Personne

Point d'accès autorisé

Goubault-Larrecq, Jean (19..-....)

Sur le web

Variante de point d'accès

Larrecq, Jean Goubault-

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français,anglais

Pays : France

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Écrit aussi en anglais

Note publique d'information :

Mathématicien. En poste au GIE Dyade, Institut national de recherche en informatique et en automatique, INRIA, Rocquencourt, Yvelines (en 1997). Professeur d'informatique à l'ENS Paris-Saclay au Laboratoire spécification et vérification (LSV) (en 2020)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/7545831

Identifiant ORCID : 0000-0001-5879-3304

Identifiant HAL : jean-goubault-larrecq

Identifiant SCOPUS : 9242473700

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb135205963

Identifiant ISNI : 000000011591556X

Source

Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie, 1997

http://www.lsv.fr/~goubault/, 2020-11-23

Information trouvée : Professeur d'informatique à l'ENS Paris-Saclay au Laboratoire spécification et vérification (LSV) (en 2020)

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