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
Éditeur commercial : Białystok : University of Białystok - Poland
Dernière mise à jour : 03 Avr 2019

Périodes d'accès électroniques

1996 - Vivant Mizar Open Access
2006 - Vivant Sciendo Open Access DOAJ

États de collections dans les bibliothèques

Historique