- Full title:
- Formalized Mathematics : a computer assisted approach / Warsaw University Białystok Branch ; ed. by Roman Matuszewski
- Publisher:
- Warsaw ; Białystok : WUBB
- Publication Year:
- 1996-
- Subject:
- Matematyka
- Genere / Form:
- Czasopisma
Czasopismo matematyczne
Czasopismo polskie
Periodicals and journals