Formalized Mathematics Unica

Notice

p-issn : 1426-2630 p-ppn : 037118706 1996 - Vivant Imprimé
e-issn : 1898-9934 e-ppn : 13177977X 1996 - Vivant Électronique
Abrégé : Formaliz. Math.
Langue : Anglais
Poland
Éditeurs commerciaux :

Białystok : University of Białystok

Dernière mise à jour : 04 Mar 2024

Périodes d'accès électroniques

Existant
1996 - Vivant Mizar Open Access
2006 - Vivant Sciendo Open Access
2006 - 2012 ISTEX De Gruyter
Accès
Open access:
1996 - Vivant Mizar



États de collections dans les bibliothèques

Historique