158660
No cover
Book
In basket
Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak. - Katowice : Uniwersytet Śląski, 1993. - 215, [1] s. : il. ; 24 cm.
(Skrypty Uniwersytetu Śląskiego, ISSN 0239-6432 ; nr 484)
Author
Biela Andrzej. Wojtylak Marek.
Subject
Matematyka Logika Rachunek kwantyfikatorów
Availability:
Wypożyczalnia
There are copies available to loan: sygn. S 63414 (1 egz.)
Notes:
Bibliography, etc. note
Bibliogr. s. 207-[211].
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

Deklaracja dostępności