Journal of Formalized Mathematics
Publisher: | University of Nagano |
ZDB-Number: | 2007656-3 |
Subjects: | Mathematik |
Keywords: | Theoretische Mathematik |
Homepage: | http://mizar.uwb.edu.pl/JFM/ |
Fulltext online since: | Vol. 1 (1989) |
Type of appearance: | Volltext, nur online |
Pricetype: | kostenlos |