- Tytuł pełny:
- Computer reconstruction of the body of mathematics / guest ed.: Adam Grabowski, Adam Naumowicz
- Współtwórcy:
- Grabowski, Adam (matematyka). Red.
Naumowicz, Adam. Red.
Uniwersytet (Białystok). Wydawnictwo. Wydawca, nakładca (publisher) - Wydawca:
- Białystok : University of Białystok
- Rok wydania:
- 2009
- Seria:
- Studies in Logic, Grammar and Rhetoric, 0860-150X ; 18 (31)
- Zawartość serii:
- Studies in Logic, Grammar and Rhetoric 0860-150X 18 (31)
- Opis fizyczny:
- 153 s. : il. ; 24 cm
- ISBN:
- 9788374312295
- Uwagi:
- Bibliogr. przy rozdz
Dostępny również w formie elektronicznej - Temat:
- Dowód matematyczny
Komputeryzacja
Matematyka
Sztuczna inteligencja
Zastosowanie i wykorzystanie
Języki programowania
Informatyka i technologie informacyjne - Gatunek / Forma:
- Książki
- Książka