373948
Book
In basket
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : Państ. Zakł. Wydaw. Szkolnych, 1965. - 147 s. : rys., tab. ; 22 cm.
(Biblioteczka Matematyczna ; 19)
Author
Pawlak Zdzisław (1926-2006). Autor
Form of Work
Książki
Subject
Automatyczne dowodzenie twierdzeń
zob. w.bibliotece.pl
Availability:
Wypożyczalnia główna
All copies are currently unavailable: sygn. W/70036
Notes:
General note
Bibliogr. s. 143.
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