Formalized Mathematics.
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Format: | Revue numérique |
| Langue: | Anglais |
| Publié: |
Białystok :
University of Białystok
1990-.
|
| Accès en ligne: | https://versita.metapress.com/content/121073 https://sciendo.com/journal/forma?tab=issues https://www.fm.mizar.org Accès sur la plateforme ISTEX https://reference-global.com/journal/FORMA Accès Université Orléans Accès INSA CVL |
| Note: |
De Gruyter revues (Licence nationale) De Gruyter revues (Licence nationale) ROAD (the Directory of Open Access scholarly Resources) ; The Keepers Registry |
| Autres localisations: | Voir dans le Sudoc |
| État de collection: | Revue électronique, (2006) - (2012)Revue électronique, (2006) - (2012) |
| Edition sous un autre format: | • Formalized Mathematics (Białystok), 1426-2630 |