- Tytuł:
- Formalized Mathematics : a computer assisted approach
- Autorzy:
- Filia Uniwersytetu Warszawskiego (Białystok)
Uniwersytet w Białymstoku - Temat:
- Matematyka
- Rok wydania:
- 1996-
- Wydawca:
- Warsaw ; Białystok : WUBB
- ISSN:
- 1426-2630
- Opis fizyczny:
- 25 cm
- Tytuł pełny:
- Formalized Mathematics : a computer assisted approach / Warsaw University Białystok Branch ; ed. by Roman Matuszewski
- Współtwórcy:
- Matuszewski, Roman. Redakcja
- Wariant tytułu:
- Formalized Mathematics (Białystok)
- 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 - Gatunek / Forma:
- Czasopisma
Czasopismo matematyczne
Czasopismo polskie - 02. Wydawnictwo ciągłe