Formalized Mathematics
Verlag: | Versita, Warsaw |
ISSN: | 1898-9934 (elektronisch), 1426-2630 (gedruckt) |
ZDB-Nummer: | 2503975-1 |
Fachgruppen: | Mathematik |
Schlagworte: | Allgemeine Mathematik |
Homepage: | https://content.sciendo.com/view/journals/forma/fo… , https://fm.mizar.org/ |
erste Volltextausgabe: | Vol. 14, 1 (2006) |
Erscheinungform: | Volltext, Online und Druckausgabe |
Kosten: | kostenlos |