| Tytuł: |
Formalized Mathematics
|
| URL: |
http://fm.mizar.org/
|
| Wariant: |
Formalized Mathematics : a computer assisted approach
|
| Wydawca: |
Uniwersytet w Białymstoku
|
| Dziedzina: |
Matematyka / Matematyka - zagadnienia ogólne
Matematyka / Matematyka stosowana
|
Słowa kluczowe:
|
matematyka / mathematics
matematyka-czasopisma
Uniwersytet w Białymstoku / University of Bialystok
matematyka- źródła naukowe / mathematics- scientific resourcess
matematyka stosowana / applied mathematics
mechanizacja matematyki / mechanizing mathematics
|
| Opis: |
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.
|
| Typ: |
Czasopisma
|
| Format: |
pdf [Portable Document Format]
html, htm [Hypertext Markup Language]
ps [PostScript]
|
| Język: |
angielski
|
| ISSN/ISBN: |
1898-9934
|
| Uwagi dla czytelnika: |
dostępne pełne teksty publikacji
dostępne abstrakty
materiały dostępne na licencji Creative Commons
|
