Journal Report

Formalized Mathematics

Download PDF
Journal Information
Journal Title
Formalized Mathematics
Publisher
ISSN
E-ISSN
1898-9934
Database
De Gruyter
Domain
Not available
Classification History
Year A+ A B C
2026 ✓
2025 ✓
2024 ✓
2023 ✓
2021/2022 ✓
2020 ✓
2019 ✓
2018
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles

No recent articles found for this journal.

Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: October 25, 2026 20:57