104215
Książka
W koszyku
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : PZWS, 1965. - 147, [1] s.
(Skrypty Uniwersytetu Śląskiego ISSN 0239-6432)
Autor
Pawlak Zdzisław (1926-2006).
Temat
Dowód Logika matematyczna Minikomputery i mikrokomputery
Gatunek
Podręcznik
zob. w.bibliotece.pl
Status dostępności:
Łęczyca - Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 11109 (1 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr. s. 207-211. - Indeksy
Recenzje:
Inne wydania:
Potwierdź wykonanie raportu
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