302811
Książka
W koszyku
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : Państ. Zakłady Wydawnictw Szkolnych, 1965. - 147, [1] s. : il. ; 23 cm.
(Biblioteczka Matematyczna PZWS i Czasopisma "Matematyka" ; 19)
Autor
Pawlak Zdzisław (1926-2006).
Temat
Automatyczne dowodzenie twierdzeń.
Symbol UKD: 517 518 004
zob. w.bibliotece.pl
Status dostępności:
Kielce - Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 37617, 37686 (2 egz.)
Kazimierza Wielka - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 07868 (1 egz.)
Ostrowiec - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 9835, 9836 (2 egz.)
Sandomierz - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 05441 (1 egz.)
Starachowice - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 9066 (1 egz.)
Staszów - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 12946 (1 egz.)
Włoszczowa - wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 3866 (1 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr.
Recenzje:
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