Formalized Mathematics (Białystok. Online) (Ηλεκτρονικό)
| Τίτλος | Formalized Mathematics. |
| Τίτλος κλειδί | Formalized Mathematics (Białystok. Online) |
| Συντομογραφία | Formaliz. Math. (Białyst., Online) |
| ISSN | 1898-9934 |
| Έτη έκδοσης | 1990- |
| Δημοσίευση | Białystok : University of Białystok |
| Αρίθμηση περιοδικής έκδοσης | Vol. 1, nr 1 (1990)- |
| Πνευματική υπευθυνότητα | Uniwersytet w Białymstoku. |
| Πνευματική υπευθυνότητα | University of Białystok |
| Γλώσσα | Αγγλική |
| Χώρα | Πολωνία |
| Άλλη έκδοση σε διαφορετικό μέσο | Formalized Mathematics (Białystok) [ISSN 1426-2630] |
| UDC Ταξινόμηση | 004.82 |
| 510.6 |
| Ηλεκτρονική Τοποθεσία | http://fm.mizar.org |
