Normal view MARC view ISBD view

Automatyczne dowodzenie twierdzeń /

Biela, Andrzej.

Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak. - Katowice : Wydaw. Uniwersytetu Śląskiego, 1993. - 215 s. : il. ; 24 cm. - Skrypty / Uniwersytet Śląski, Nr 484 0239-6432 ; . - Skrypty (Uniwersytet Śląski) Nr 484 .

bibliogr.

Uniwersalna Klasyfikacja Dziesiętna: 004.021:004.4:510.6

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
NUKAT Inne biblioteki (WorldCat) Inne bazy danych (Google Scholar) Open Library (openlibrary.org)