A fascinating country in the world of computing : (Rekord nr 102581)

Szczegóły MARC
000 -LEADER
fixed length control field 01306cam a2200349 i 4500
001 - CONTROL NUMBER
control field xx004367141
003 - CONTROL NUMBER IDENTIFIER
control field NUKAT
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251228193542.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180706s1999 si f |001 0 eng c
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9810239106
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1050734709
040 ## - CATALOGING SOURCE
Original cataloging agency POZN 31/EG
Language of cataloging pol
Description conventions rda
Transcribing agency POZN 31/EG
Modifying agency POZN 31/AJ
-- POZN 31/AJs
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE
MARC country code si
-- xxu
-- xxk
-- cc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Wos, Larry.
Relator term Autor
9 (RLIN) 135623
245 12 - TITLE STATEMENT
Title A fascinating country in the world of computing :
Remainder of title your guide to automated reasoning /
Statement of responsibility, etc. Larry Wos, Gail W. Pieper.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Singapore ;
-- New Jersey ;
-- London ;
-- Hong Kong :
Name of publisher, distributor, etc. World Scientific,
Date of publication, distribution, etc. copyright © 1999.
300 ## - PHYSICAL DESCRIPTION
Extent XX, 587 stron ;
Dimensions 22 cm +
Accompanying material dysk optyczny (CD-ROM).
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliografia na stronach 561-569. Indeks.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatyczne dowodzenie twierdzeń.
Source of heading or term kaba
9 (RLIN) 21050
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Systemy ekspertowe (informatyka).
Source of heading or term kaba
9 (RLIN) 10780
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pieper, Gail W.
Relator term Autor
9 (RLIN) 135624
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element World Scientific Publishing.
Relator term Wydawca
Relationship pbl
9 (RLIN) 112375
900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA]
Personal name Dodatki udostępniane online.
Egzemplarze
Status wycofania Status zagubienia Źródło klasyfikacji Materiały załączone 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 + 1CD     Czytelnia Biblioteka Politechniki Poznańskiej Biblioteka Politechniki Poznańskiej w czytelni 06/07/2018 2018 D 75 210.00 193069   A 193069 0000187277 28/12/2025 28/12/2025 Niewypożyczane