- Tytuł pełny:
- Formalized Mathematics : a computer assisted approach / Warsaw University Białystok Branch ; ed. by Roman Matuszewski
- Wariant tytułu:
- Formalized Mathematics (Białystok)
- Autorzy:
- Filia Uniwersytetu Warszawskiego (Białystok)
Uniwersytet w Białymstoku - Współtwórcy:
- Matuszewski, Roman. Redakcja
- Wydawca:
- Warsaw ; Białystok : WUBB
- Rok wydania:
- 1996-
- Opis fizyczny:
- 25 cm
- ISSN:
- 1426-2630
- Uwagi:
- Od vol. 6, nr. 4 (1997): Białystok : UwB
Vol. 1-4 w latach 1990-1993 wydawane w Belgii
Od vol. 6, nr. 4 (1997): University of Białystok - Częstotliwość i numeracja:
- Kwartalnik
Vol. 5, nr 1. (1996)- - Temat:
- Matematyka
- Gatunek / Forma:
- Czasopisma
Czasopismo matematyczne
Czasopismo polskie - UKD:
- 51
(05) - 02. Wydawnictwo ciągłe