Formalized Mathematics

Allgemeine Angaben zur Online-Ausgabe der Zeitschrift:

Titel:

Formalized Mathematics

Verlag / Anbieter:

Versita, Warsaw
Open Access Policy des Verlages in SHERPA/RoMEO suchen

Fachgebiet(e):

Mathematik

Schlagwörter:

Allgemeine Mathematik

Sprache(n):

Englisch

E-ISSN(s):

1898-9934

P-ISSN(s):

1426-2630

ZDB-Nummer:

2503975-1

erste Volltextausgabe:

Jg. 14, H. 1 (2006)

Homepage(s):

https://content.sciendo.com/view/journals/forma/forma-overview.xml
https://fm.mizar.org/

Erscheinungsweise:

Volltext, Online und Druckausgabe

Kosten für Lesezugang:

kostenlos

Zugangsbedingungen:

Frei zugänglich, aber vermutlich ohne weitere Nutzungsrechte