The FORMALIZED MATHEMATICS is published by SCIENDO. The ISSN of this journal is 1898-9934. The FORMALIZED MATHEMATICS is ESCI indexed.
Journal Title | FORMALIZED MATHEMATICS |
---|---|
Publisher | SCIENDO |
P-ISSN | 1898-9934 |
E-ISSN | 1898-9934 |
Publisher Address | BOGUMILA ZUGA 32A, WARSAW, Poland, MAZOVIA, 01-811 |
Language | English |
Subject | Mathematics |
Category | ESCI |
Please visit the official website of formalized mathematics. Read the instructions for authors and make your submission.