Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Otwarty dostęp
Informacje o czasopiśmie
Pobierz okładkę
1
Impact Factor
0.5
Five Year Impact Factor
0.57
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median
eISSN:
1898-9934
ISSN:
1426-2630
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Mathematics, General Mathematics, Computer Sciences, other