Formalized Mathematics.
שמור ב:
| Collectivités auteurs: | , |
|---|---|
| פורמט: | Revue numérique |
| שפה: | Anglais |
| יצא לאור: |
Białystok :
University of Białystok
1990-.
|
| גישה מקוונת: | 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 |
| הערה: |
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 |