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 Brill
Accès
Open access:
1996 - Vivant Mizar

Archivage Début Fin
Library of Congress 2014 2024
Portico 2008 2024
Scholars Portal 2016 2020
Scholars Portal 2016 2023

É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