Formalized Mathematics SCIE
形式化数学杂志
JCR分区：Q1 预计审稿周期： 10 Weeks
《Formalized Mathematics》是一本由Sciendo出版商出版的国际刊物，国际简称为FORMALIZ MATH，中文名称形式化数学。出版周期为。 《Formalized Mathematics》2023年影响因子为1，被收录于国际知名权威数据库SCIE。
- ISSN：1898-9934
- 研究方向：MATHEMATICS
- 是否预警：否
- 出版地区：Poland
- Gold OA文章占比：100.00%
- 语言：English
- 是否OA：开放
- 出版商：Sciendo
- 影响因子：1
- 年发文量：21