Computer science logic : (Record no. 11885)

MARC details
000 -LEADER
fixed length control field 01197 a2200301 4500
001 - CONTROL NUMBER
control field 11885
003 - CONTROL NUMBER IDENTIFIER
control field TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210311100817.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 980508s1998 gw b 101 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 98022163
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540645705 (softcover : alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title İngilizce
050 #3 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
Item number W67 1998
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.9.L63 W67 1998
111 #2 - MAIN ENTRY--MEETING NAME
9 (RLIN) 4224
Meeting name or jurisdiction name as entry element Workshop On Computer Science Logic
Number of part/section/meeting (11th :
Date of meeting 1997 :
Location of meeting Aarhus, Denmark)
245 #0 - TITLE STATEMENT
Title Computer science logic :
Remainder of title 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /
Statement of responsibility, etc. Mogens Nielsen, Wolfgang Thomas (eds.).
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin ;
-- New York :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 1998.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 509 p. ;
Dimensions 24 cm.
490 0# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 1414.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic
Form subdivision Congresses
9 (RLIN) 4225
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Nielsen, M.,
Fuller form of name (Mogens),
Dates associated with a name 1949-
9 (RLIN) 4221
Personal name Thomas, Wolfgang,
Dates associated with a name 1947-
9 (RLIN) 2159
710 22 - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element European Association for Computer Science Logic.
Subordinate unit Conference
Number of part/section/meeting (6th :
Date of meeting or treaty signing 1997 :
Location of meeting Aarhus, Denmark)
9 (RLIN) 4223
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Materials specified (bound volume or other part) Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Coded location qualifier Cost, normal purchase price Serial Enumeration / chronology Inventory number Total Checkouts Total Holds Full call number Barcode Copy number Date shelved Koha item type
      C.1 Ödünç Verilebilir / Available Genel Koleksiyon Merkez Kütüphane Merkez Kütüphane Genel Koleksiyon / Main Collection 21/12/2004 Satın Alma / Purchase 94145.00 1 BİL     QA76.9.L63 W67 1998 0002467 1 21/04/2010 Book
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.