Formalized mathematics

Notice

p-issn : 0777-4028 p-ppn : 221827781 1989 - 1995 Imprimé
Abrégé : Formaliz. math.
Langue : Anglais
Belgium
Périodicité : Trois fois par an
Éditeurs commerciaux :

Brussels: Mizar.

Dernière mise à jour : 04 Mar 2024

Périodes d'accès électroniques

Existant
1989 - 1995 Mizar Open Access
Accès
Open acces:
1989 - 1995 Mizar



États de collections dans les bibliothèques

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

Historique