Indexed in Journament
formalized mathematics
EN
Login or register to claim ownership or editorship of this journal.
1
Articles Indexed
About This Journal
| Short Name | formalized mathematics |
|---|---|
| Abbreviated Name | formalized mathematics |
Indexings
doaj
Tools & Certificate of Indexing
Publications Per Year
Articles (1)
2016
2016