Un Vernaculaire modulaire pour le Calcul des Constructions
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Gilles Dowek : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04228906
Soumis le : jeudi 5 octobre 2023-10:24:31
Dernière modification le : vendredi 6 octobre 2023-03:46:58
Dates et versions
Licence
Identifiants
- HAL Id : hal-04228906 , version 1
Citer
Gilles Dowek. Un Vernaculaire modulaire pour le Calcul des Constructions. 1989. ⟨hal-04228906⟩
10
Consultations
7
Téléchargements