Zaloguj lub zarejestruj
Lista podręczna - 0
Pomoc
Strona główna
Wyszukiwanie
Moje konto
e-Zasoby
Zaproponuj zakup książki
Przełącz język:
PB Library (angielski)
alfabetyczne
po słowach
zaawansowane
historia
Szukaj:
Autorzy - alfabetycznie
Wszystkie tytuły - alfabetycznie
Hasła przedmiotowe - alfabetycznie
Serie - alfabetycznie
Tytuł czasopisma - alfabetycznie
ISBN
ISSN
Nr kontrolny opisu
Nr systemowy opisu
Zmień kryteria wyszukiwania
> Wyszukiwanie w lokalizacji:
Biblioteka Politechniki Bydgoskiej
Egzemplarze
Egzemplarze
Więcej pozycji tego autora
Biela, Andrzej.
Wojtylak, Marek (informatyk).
Hasła przedm.
Automatyczne dowodzenie twierdzeń.
Przegląd katalogu
wg autora:
Biela, Andrzej.
Wojtylak, Marek (informatyk).
wg tytułu:
Automatyczne dowodze...
Opis MARC
Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak.
Autor:
Biela, Andrzej.
, Wojtylak, Marek (informatyk).
Katowice : Uniwersytet Śląski, 1993.
Hasła przedm.
Automatyczne dowodzenie twierdzeń.
Seria:
Skrypty Uniwersytetu Śląskiego 0239-6432 ; nr 484
Opis fiz.:
215, [1] s. ; 24 cm.
Uwagi o treści:
Bibliogr. s. 207-211. Indeks.
Egzemplarze
Lokalizacja
Kolekcja
Typ egz.
Sygnatura
Status
Czytelnia Główna
Książki
Dostępny na miejscu
51/510
Nie wypożycza się
Dodaj egz. do listy podręcznej
Format:
HTML
Tekstowy
Oddzielone znakiem
Temat:
Wyślij do (email):
Zapraszamy do
nowego katalogu.
Horizon Information Portal 3.23.1_6655
© 2001-2015
SirsiDynix
All rights reserved.
Zaloguj lub zarejestruj
Pomoc
