paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 198322038Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Halmagrand, Pierre (1984-....)

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 :    1984

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique soutenue au Cnam en 2016

Source

Automated Deduction and Proof Certification for the B Method / Pierre Halmagrand, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

Identifiants externes

Identifiant HAL : pierrehalmagrand

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

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