Wyniki wyszukiwania: 3.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Evaluating Prospective Built-in Elements of Computer Algebra in MIZAR / Adam Naumowicz. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 191-200 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 191-200 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 191-200
Status: Brak dostępnych egzemplarzy.
Iterative algebra and dynamic modeling : a curriculum for the third millennium / Kurt Kreith, Don Chakerin. autor
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: New York : Springer, 1999
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 179904.
Ćwiczenia z analizy matematycznej z zastosowaniem systemów obliczeń symbolicznych / Donald B. Small, John M. Hosack ; z ang. przeł. Małgorzata Nalbach. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1995
Inny tytuł:
  • Explorations in calculus with a computer algebra system
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 124081, ...
Zamów