- Tytuł:
- Formalized Mathematics : a computer assisted approach, Vol. 10, nr 1/3 (2002)
- Współwytwórcy:
-
Matuszewski, Roman. Red.
Uniwersytet w Białymstoku
Filia Uniwersytetu Warszawskiego (Białystok) - Wydawca:
- Warsaw ; Białystok : WUBB
- Język:
- angielski
- Prawa:
-
http://www.europeana.eu/rights/rr-r/
Publikacja chroniona prawem autorskim - reprodukcja cyfrowa dostępna w czytelniach BN i na terminalach Academiki - Źródło:
- Biblioteka Narodowa
- Dostawca treści:
- Academica
- Czasopismo