H Définition et traitement de l'egalite formelle en démonstration automatique
N° | 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