Automatyczne dowodzenie twierdzeń / (Record no. 39362)
[ view plain ]
| 000 -ETYKIETA REKORDU | |
|---|---|
| pole stałej długości | 00859cam a2200265 i 4500 |
| 001 - NUMER KONTROLNY REKORDU | |
| Pole kontrolne | pc09039722k |
| 008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI) | |
| pole stałej długości | 090714s1993 00 pol |
| 040 ## - INSTYTUCJA SPORZĄDZAJĄCA REKORD | |
| Instytucja, która przygotowała dane do KHW | CZEST 2/OOZ/LSz |
| 041 0# - JĘZYK DOKUMENTU | |
| Język tekstu | pol |
| 080 ## - UKD | |
| UKD | 004.021:004.4:510.6 |
| 100 1# - HASŁO GŁÓWNE - NAZWA OSOBOWA | |
| Nazwa osobowa | Biela, Andrzej. |
| 245 10 - STREFA TYTUŁU I OZNACZENIA ODPOWIEDZIALNOŚCI | |
| Tytuł | Automatyczne dowodzenie twierdzeń / |
| Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności | Andrzej Biela, Marek Wojtylak. |
| 260 ## - WYDAWCA | |
| Miejsce wydania | Katowice : |
| Nazwa wydawcy | Wydaw. Uniwersytetu Śląskiego, |
| Data wydania | 1993. |
| 300 ## - STREFA OPISU FIZYCZNEGO | |
| Określenie formy dokumentu i/lub objętość | 215 s. : |
| Oznaczenie ilustracji | il. ; |
| Wymiary | 24 cm. |
| 490 1# - STREFA SERII I DOKUMENTU WIELOCZĘŚCIOWEGO - FORMA NIE DO WYSZUKIWANIA | |
| Tytuł | Skrypty / Uniwersytet Śląski, |
| Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego | 0239-6432 ; |
| Numeracja | Nr 484 |
| 504 ## - UWAGA DOTYCZĄCA BIBLIOGRAFII ZAŁĄCZNIKOWEJ | |
| Uwaga dotycząca bibliografii | bibliogr. |
| 700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA | |
| Nazwa osobowa | Wojtylak, Marek. |
| 830 #0 - HASŁO DODATKOWE SERII | |
| Tytuł | Skrypty (Uniwersytet Śląski) |
| Międzynarodowy Znormalizowany Numer Wydawnictwa Ciągłego | ISSN 0239-6432 |
| Numeracja | Nr 484 |
| 935 ## - Lokalny numer systemowy | |
| LOKALNY NUMER SYSTEMOWY | 0039-72260 |
| 998 ## - SŁOWO KLUCZOWE | |
| Słowo Kluczowe | LOGLAN |
| 998 ## - SŁOWO KLUCZOWE | |
| Słowo Kluczowe | ALGORYTMY KOMPUTEROWE |
| 998 ## - SŁOWO KLUCZOWE | |
| Słowo Kluczowe | LOGIKA MATEMATYCZNA |
| 998 ## - SŁOWO KLUCZOWE | |
| Słowo Kluczowe | PROGRAMY KOMPUTEROWE MATEMATYCZNE |
| 942 ## - POLE DODATKOWE (KOHA) | |
| Schemat, według którego wydawnictwa są ustawiane | Inne/Ogólny schemat klasyfikacji |
| Typ dokumentu | Księgozbiór Podstawowy |
| Wycofany | Zagubiony | Schemat, według którego wydawnictwa są ustawiane | Dołączone materiały | Status zniszczenia | Dostępność | Biblioteka macierzysta | Obecna biblioteka | Lokalizacja | Data nabycia | Sposób nabycia | Sygnatura | Kod kreskowy | Ostatnio widziany | Typ dokumentu Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Inne/Ogólny schemat klasyfikacji | KS|1993||215|| | Biblioteka Główna Politechniki Częstochowskiej | Biblioteka Główna Politechniki Częstochowskiej | Magazyn Biblioteki Głównej | 14/07/2009 | W200/09 | Z 093997-00-00/01 | 04093997000001 | 24/04/2023 | Księgozbiór Podstawowy |
.svg)
.svg)