O PORTALU BazTOL WYSZUKIWANIE ZGŁOŚ ZASÓB/UWAGI POMOC

Data wprowadzenia rekordu: 2013-12-07 11:30:40
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