Journal of Formalized Mathematics
Verlag: | University of Nagano |
ZDB-Nummer: | 2007656-3 |
Fachgruppen: | Mathematik |
Schlagworte: | Theoretische Mathematik |
Homepage: | http://mizar.uwb.edu.pl/JFM/ |
erste Volltextausgabe: | Vol. 1 (1989) |
Erscheinungform: | Volltext, nur online |
Kosten: | kostenlos |