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 |