Normal view MARC view ISBD view

Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak.

By:

Contributor(s):

Language: Polish Series: Skrypty (Uniwersytet Śląski) ; Nr 484Publication details: Katowice : Wydaw. Uniwersytetu Śląskiego, 1993.Description: 215 s. : il. ; 24 cmSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Księgozbiór Podstawowy	Biblioteka Główna Politechniki Częstochowskiej Magazyn Biblioteki Głównej	Z 093997-00-00/01	Available		04093997000001

Total holds: 0

bibliogr.

There are no comments on this title.

to post a comment.