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