paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 204082471Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Fontaine, Pascal (19..-.... ; Informaticien)
Nom à l'état civil

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 : 
Informaticien, maître de conférences à l'Université de Lorraine et membre du Laboratoire lorrain de Recherche en Informatique et ses Applications (LORIA - UMR 7503) en 2020

Note publique d'information : 
Directeur d'une thèse en Informatique

Source

Nouvelles techniques pour l'instanciation et la production des preuves dans SMT / Haniel Barbosa ; sous la direction de Stephan Merz, David Déharbe et Pascal Fontaine. Thèse de doctorat : Informatique : Université de Lorraine : 2017

Information trouvée : Professeur, Université de Lorraine, CNRS, Inria, LORIA en 2017

members.loria.fr/PFontaine/, 2020-04-29

Information trouvée : Informaticien, maître de conférences à l'Université de Lorraine et membre du Laboratoire lorrain de Recherche en Informatique et ses Applications (LORIA - UMR 7503) en 2020

Autres identifiants

Identifiant HAL : pascal-fontaine

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

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