Identifiant pérenne de la notice : 187915652
Notice de type
Personne
Repenser la bibliothèque réelle de Coq / Catherine Lelay. Thèse de doctorat : Informatique
: Université Paris-Sud : 2015
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