AFM - Annals of Formalized Mathematics.
Wedi'i Gadw mewn:
| Fformat: | Revue numérique |
|---|---|
| Iaith: | Indéterminée |
| Mynediad Ar-lein: | Accès libre |
| État de collection: | Revue numérique .- État de collection : 2024 à nos jours |
| Variante du titre: | AFM - Annals of Formalized Mathematics |