313794
Book
In basket
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)
Author
Pawlak Zdzisław (1926-2006).
Subject
Automatyczne dowodzenie twierdzeń
Symbol UKD
517 518 004
zob. w.bibliotece.pl
Availability:
Kielce - Wypożyczalnia
There are copies available to loan: sygn. 37617, 37686 (2 egz.)
Kazimierza Wielka - wypożyczalnia
There are copies available to loan: sygn. 07868 (1 egz.)
Ostrowiec - wypożyczalnia
There are copies available to loan: sygn. 9835, 9836 (2 egz.)
Sandomierz - wypożyczalnia
There are copies available to loan: sygn. 05441 (1 egz.)
Starachowice - wypożyczalnia
There are copies available to loan: sygn. 9066 (1 egz.)
Staszów - wypożyczalnia
There are copies available to loan: sygn. 12946 (1 egz.)
Włoszczowa - wypożyczalnia
There are copies available to loan: sygn. 3866 (1 egz.)
Notes:
Bibliography, etc. note
Bibliogr.
Reviews:
Confirm report execution
Also derive:
shelf marks
IDs
subject headings
location
summary
ISBN number
sort key
adres wersji elektronicznej
copies localization
opis fizyczny
Report sorting:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again