Formalized Mathematics.
Na minha lista:
| Collectivités auteurs: | , |
|---|---|
| Formato: | Revue numérique |
| Idioma: | Anglais |
| Publicado em: |
Białystok :
University of Białystok
1990-.
|
| Acesso em linha: | 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 |
| Nota: |
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 |
| LEADER | 02299nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 852589 | ||
| 008 | 090223c19909999xx ||| |||| 00| 0 eng d | ||
| 009 | PPN13177977X | ||
| 022 | |a 18989934 | ||
| 041 | 0 | |a eng | |
| 080 | |a 519.6 | ||
| 080 | |a 510.6 | ||
| 110 | |a Uniwersytet w Białymstoku. | ||
| 245 | 1 | 0 | |a Formalized Mathematics. |
| 260 | |a Białystok : |b University of Białystok, |c 1990-. | ||
| 500 | |a De Gruyter revues (Licence nationale) | ||
| 500 | |a De Gruyter revues (Licence nationale) | ||
| 500 | |a ROAD (the Directory of Open Access scholarly Resources) ; The Keepers Registry | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales pour les années antérieures à 2013 | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/degruyter-revues-contrat-licence-ln-2014 | ||
| 506 | |a Accès libre en ligne à l'intégralité de la ressource | ||
| 710 | 2 | |a University of Białystok. |4 pbd | |
| 710 | 2 | |a Uniwersytet w Białymstoku. |4 pbd | |
| 710 | 2 | |a University of Białystok. |4 pbd | |
| 776 | 0 | |0 037118706 |t Formalized Mathematics (Białystok) |x 1426-2630 | |
| 856 | 4 | |u https://versita.metapress.com/content/121073 | |
| 856 | 4 | |u https://sciendo.com/journal/forma?tab=issues | |
| 856 | 4 | |u https://www.fm.mizar.org | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SN0LG352-T |z Accès sur la plateforme ISTEX | |
| 856 | 4 | |u https://reference-global.com/journal/FORMA | |
| 856 | 4 | |5 452349901:700800123 |u https://ezproxy.univ-orleans.fr/login?url=https://revue-sommaire.istex.fr/ark:/67375/8Q1-SN0LG352-T |z Accès Université Orléans | |
| 856 | 4 | |5 452349901:700817778 |u https://ezproxy.insa-cvl.fr/login?qurl=https://revue-sommaire.istex.fr/ark:/67375/8Q1-SN0LG352-T |z Accès INSA CVL | |
| 866 | |a Revue électronique, (2006) - (2012) | ||
| 866 | |a Revue électronique, (2006) - (2012) | ||
| 955 | 4 | 1 | |5 452349901:700800123 |i 2006 |i 2012 |r (2006) - (2012) |
| 955 | 4 | 1 | |5 452349901:700817778 |i 2006 |i 2012 |r (2006) - (2012) |
| 997 | |0 852589 |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/ | ||