Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Open Access

All Volumes and Issues in this Journal

Journal Information
Download Cover
0.3
Impact Factor
0.2
Five Year Impact Factor
0.36
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median
eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, other