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 |
