m
     
MathThèse

H 0 Définition et traitement de l'egalite formelle en démonstration automatique

Roussel, Philippe

Université d'Aix-Marseille

1972

99

12371


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 12371 1019838 RESERVE [non empruntable]

Type de doc : T3

Ville d'édition : Marseille

Langue ouvrage : fre

Ville de soutenance : Luminy

Année de soutenance : 1972

Lien SUDOC : https://www.sudoc.fr/004760549

Z