Logic program synthesis and transformation : (Rekord nr 65238)

Szczegóły MARC
000 -ETYKIETA REKORDU
pole stałej długości 01221cam a2200325 i 4500
001 - NUMER KONTROLNY REKORDU
control field xx001643286
003 - IDENTYFIKATOR NUMERU KONTROLNEGO
control field NUKAT
005 - DATA OSTATNIEJ MODYFIKACJI REKORDU
control field 20251228162208.0
008 - DANE KONTROLNE (POLA STAŁEJ DŁUGOŚCI)
pole stałej długości 990127s1992 xxk |100 0 eng c
020 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI
Międzynarodowy Znormalizowany Numer Książki 3540197427
Dopowiedzenie Berlin
020 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI
Międzynarodowy Znormalizowany Numer Książki 0387197427
Dopowiedzenie New York
035 ## - NUMER SYSTEMOWY REKORDU
Numer systemowy (OCoLC)751023733
040 ## - INSTYTUCJA SPORZĄDZAJĄCA REKORD
Instytucja, która sporządziła opis NUKAT
Instytucja, która wprowadziła rekord WA U/MK
111 2# - HASŁO GŁÓWNE - NAZWA IMPREZY
Nazwa imprezy LOPSTR 91
Data imprezy (1991 ;
Miejsce imprezy Manchester).
9 (RLIN) 85942
245 10 - STREFA TYTUŁU I OZNACZENIA ODPOWIEDZIALNOŚCI
Tytuł Logic program synthesis and transformation :
Ciąg dalszy tytułu proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności T. P. Clement and K.-K. Lau (eds.).
260 ## - STREFA ADRESU WYDAWNICZEGO
Miejsce wydania London :
Nazwa wydawcy Springer,
Data wydania 1992.
300 ## - STREFA OPISU FIZYCZNEGO
Określenie formy dokumentu i/lub objętość X, 337 s. ;
Format 25 cm.
336 ## - TYP ZAWARTOŚCI
-- Tekst
337 ## - TYP MEDIÓW
-- Bez urządzenia pośredniczącego
338 ## - TYP NOŚNIKA
-- Wolumin
490 1# - STREFA SERII I DOKUMENTU WIELOCZĘŚCIOWEGO - FORMA NIE DO WYSZUKIWANIA
Oznaczenie serii Workshops in Computing
650 #7 - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA
Nazwa pospolita Programowanie logiczne
Określnik formy konferencje.
Źródło terminu kaba
9 (RLIN) 82028
700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA
Nazwa osobowa Clement, Timothy Paul
Daty biograficzne (1954- ).
Określenie rodzaju współpracy Red.
9 (RLIN) 85944
700 1# - HASŁO DODATKOWE - NAZWA OSOBOWA
Nazwa osobowa Lau, Kung-Kiu
Daty biograficzne (1953- ).
Określenie rodzaju współpracy Red.
9 (RLIN) 85945
830 #0 - HASŁO DODATKOWE SERII
Tytuł Workshops in Computing
9 (RLIN) 85943
920 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI
Międzynarodowy Znormalizowany Numer Książki 3-540-19742-7
Dopowiedzenie Berlin
920 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI
Międzynarodowy Znormalizowany Numer Książki 0-387-19742-7
Dopowiedzenie New York
Egzemplarze
Status wycofania Status zagubienia Klasyfikacja Status uszkodzenia Blokada wypożyczeń Kolekcja Biblioteka macierzysta Bieżąca biblioteka Pozycja na półce Data nabycia Akcesja Cena Nr inwentarzowy Ogółem wypożyczeń Sygnatura Kod kreskowy Ostatnio widziano Cena zast. od dnia Typ egz.
    Library of Congress Classification     Czytelnia Biblioteka Politechniki Poznańskiej Biblioteka Politechniki Poznańskiej w czytelni 06/11/2014 2014 D 277 53.13 181346   A 181346 0000145610 28/12/2025 28/12/2025 Niewypożyczane