- Tytuł pełny:
- Formalized Mathematics : a computer assisted approach / Warsaw University Białystok Branch ; ed. by Roman Matuszewski
- Wydawca:
- Warsaw ; Białystok : WUBB
- Rok wydania:
- 1996-
- Temat:
- Matematyka
- Gatunek / Forma:
- Czasopisma
Czasopismo matematyczne
Czasopismo polskie
02. Wydawnictwo ciągłe