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

Bibliothèques Collections Lacunes État
Paris - MIR Jussieu
Non positionné 		Vol. 5 n° 1 (1996) - Vol. 6 n° 3 (1997)

Mise à jour : 07/09/2018

Historique