Journal of Formalized Mathematics

Online-Verfügbarkeit: Volltexte frei zugänglich

Zu den Volltexten: Jg. 1 (1989) − ...

Allgemeine Angaben zur Online-Ausgabe der Zeitschrift:

Titel:
Journal of Formalized Mathematics
Verlag / Anbieter:
University of Nagano
Fachgebiet(e):
Mathematik
Schlagwörter:
Theoretische Mathematik
Sprache(n):
Englisch
ZDB-Nummer:
2007656-3
erste Volltextausgabe:
Jg. 1 (1989)
Homepage(s):
http://mizar.uwb.edu.pl/JFM/
Erscheinungsweise:
Volltext, nur online
Kosten für Lesezugang:
kostenlos
Zugangsbedingungen:
Frei zugänglich, aber vermutlich ohne weitere Nutzungsrechte