Formalized mathematics

Notice

p-issn : 0777-4028 p-ppn : 221827781 1989 - 1995 Imprimé
Abrégé : Formaliz. math.
Langue : Anglais
Périodicité : Trois fois par an
Éditeur commercial : Brussels: Mizar. - Belgium
Dernière mise à jour : 16 Sep 2019

Périodes d'accès électroniques

1989 - 1995 Mizar Open Access

États de collections dans les bibliothèques

Ce titre n'est localisé dans aucune bibliothèque

Historique