Formalized Mathematics
- Title
- Formalized Mathematics
- ISSN
- 1898-9934
- EISSN
- 1898-9934
- Publisher
- SCIENDO
- Language
- English
- Database
-
Web of Science (ESCI)
Research Area
| Name(En) | Name(Zh) | XinRui Ranking | Top |
|---|---|---|---|
| Mathematics | 数学 | T 2 | — |
JCR Category
| Name(En) | Name(Zh) | XinRui Ranking |
|---|---|---|
| MATHEMATICS | 数学 | T 2 |