Formalized Mathematics

ISSN:
1898-9934

RokPunkty ministerialneImpact FactorEigenfactorArticle influence
2023200.000050.055
20222000.002
2021200.000060.054
202020
201920
201812
201712
20161200
20151200
2014800
2013700
2012800