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