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 |