Formalized Mathematics
Publisher: | Versita, Warsaw |
ISSN: | 1898-9934 (electronic), 1426-2630 (printed) |
ZDB-Number: | 2503975-1 |
Subjects: | Mathematik |
Keywords: | Allgemeine Mathematik |
Homepage: | https://content.sciendo.com/view/journals/forma/fo… , https://fm.mizar.org/ |
Fulltext online since: | Vol. 14, 1 (2006) |
Type of appearance: | Volltext, Online und Druckausgabe |
Pricetype: | kostenlos |