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 |
Το συγκεκριμένο περιοδικό δεν ανήκει στη συλλογή καμίας βιβλιοθήκης.