Journal of Formalized Mathematics
Verfügbarkeit: | frei zugänglich |
---|---|
Homepage(s): | |
Volltext online seit: | Jg. 1 (1989) |
Verlag: | University of Nagano |
ZDB Nummer: | 2007656-3 |
Fachgruppe(n): | |
Schlagwort(e): | Theoretische Mathematik |
Form: | Volltext, nur online |
Kosten: | kostenlos |