Ukryj filtry
Sortowanie
Źródło opisu
Katalog zbiorów
(1)
Forma i typ
Książki
(1)
Dostępność
dostępne
(1)
Placówka
Wypożyczalnia główna
(1)
Autor
Pawlak Zdzisław (1926-2009)
(1)
Rok wydania
1960 - 1969
(1)
Kraj wydania
Polska
(1)
Język
polski
(1)
Temat
Automatyczne dowodzenie twierdzeń
(1)
1 wynik Filtruj
Brak okładki
Książka
W koszyku
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : Państ. Zakł. Wydaw. Szkolnych, 1965. - 147 s. : rys., tab. ; 22 cm.
(Biblioteczka Matematyczna ; 19)
Forma i typ
Książki
Bibliogr. s. 143.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia główna
Są egzemplarze dostępne do wypożyczenia: sygn. W/70036 (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej