AFM - Annals of Formalized Mathematics.
Uloženo v:
| Médium: | Revue numérique |
|---|---|
| Jazyk: | Indéterminée |
| On-line přístup: | Accès libre |
| État de collection: | Revue numérique .- État de collection : 2024 à nos jours |
| Variante du titre: | AFM - Annals of Formalized Mathematics |
| LEADER | 00526nam a22001217a 4500 | ||
|---|---|---|---|
| 001 | 1224586 | ||
| 008 | u2032 xxe ||| |||| 00| 0 und d | ||
| 041 | 0 | |a und | |
| 240 | 1 | 0 | |a AFM - Annals of Formalized Mathematics |
| 245 | 0 | 0 | |a AFM - Annals of Formalized Mathematics. |
| 856 | 4 | |u https://afm.episciences.org/ |z Accès libre | |
| 866 | |a Revue numérique .- État de collection : 2024 à nos jours | ||
| 997 | |0 1224586 |1 Revue numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||