Annals of Formalized Mathematics — AFM
| Thématique | Mathématiques |
|---|
Titre  |
ISSN-E | Années | Éditeurs | Action |
|---|---|---|---|---|
| Annals of Formalized MathematicsAFM | 3117-4604 | 2024 – … | MathOA |  |
| Site web | https://afm.episciences.org/ |
|---|---|
| Périodicité | parution continue |
| Langues | anglais |
| Électronique | Oui |
| Éditeur | |
| Pays de publication | Pays-Bas |
Accès en ligne
| Accès | Ressource | Modalité | Numéros | Autres liens | Action |
|---|---|---|---|---|---|
| Texte intégral | Episciences Présentation détaillée de la ressource Episciences dans Mir@bel |
Libre | 2024 (Volume 1) — … | |
Suivi
- Institut Fourier suit cette revue dans Mir@bel
Dernière modification : 26/10/2025 02:40 (issn : mise à jour). 