Identifiant pérenne de la notice : 191652008
Notice de type
Personne
Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle
du second ordre / Odile Hermann ; sous la direction de D. Galmiche. Thèse de doctorat
: Informatique : Nancy 1 : 1995
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