Formalized Mathematics
- 刊名
- Formalized Mathematics
- ISSN
- 1898-9934
- EISSN
- 1898-9934
- 出版机构
- SCIENDO
- 语种
- English
- 年份
- 2026
数据库
大类学科
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Mathematics | 数学 | 2 区 | β |
小类学科
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| MATHEMATICS | 数学 | 2 区 |
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Mathematics | 数学 | 2 区 | β |
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| MATHEMATICS | 数学 | 2 区 |