BazTOL -> Wyszukiwanie zaawansowane -> Wynik wyszukiwania
Paramatry wyszukiwania:
| Wyszukiwanie sÅów: |
mechanizacja matematyki
(w opisach rzeczowych)
|
| Dziedziny: |
wszystkie
|
| Typy: |
wszystkie |
IloÅÄ znalezionych zasobów: 1
Wyniki: 1 - 1 spoÅród 1
Formalized Mathematics
Czasopismo wydawane od 1989 roku przez Uniwersytet w Białymstoku. Poświęcone jest matematyce, w szczególności topologii oraz analizie matematycznej. Dostępne są pełne teksty publikacji z lat 1990-2013.
|
WiÄcej ...
|
|
