green 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… , http://mizar.org/fm/
erste Volltextausgabe: Vol. 14, 1 (2006)
Erscheinungform: Volltext, Online und Druckausgabe
Kosten: kostenlos