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