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 |