| 000 -LEADER |
|---|
| fixed length control field |
02100cam a22004577a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
16516866 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250924152632.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101025s2010 gw a b 101 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2010939948 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015731229 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642175107 (pbk. : acidfree paper) |
|
|---|
| International Standard Book Number |
3642175104 (pbk. : acidfree paper) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)ocn690088993 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
KYU |
| Language of cataloging |
eng |
| Transcribing agency |
KYUL |
| Modifying agency |
KYUL |
| -- |
OHX |
| -- |
AZS |
| -- |
DGU |
| -- |
UKMGB |
| -- |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
lccopycat |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.63 |
| Item number |
.L73 2010 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
23 |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
LPAR (Conference) |
| Number of part/section/meeting |
(16th : |
| Date of meeting |
2010 : |
| Location of meeting |
Dakar, Senegal) |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic for programming, artificial intelligence, and reasoning : |
| Remainder of title |
16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / |
| Statement of responsibility, etc. |
Edmund M. Clarke, Andrei Voronkov (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
x, 516 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6355 |
|
|---|
| Series statement |
Lecture notes in artificial intelligence |
|
|---|
| Series statement |
LNCS sublibrary. SL 7, Artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
|---|
| Additional physical form available note |
Also issued online. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Form subdivision |
Congresses. |
| Source of heading or term |
Computer Science |
| General subdivision |
School of Pure and Applied Sciences |
|
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Form subdivision |
Congresses. |
| Source of heading or term |
Computer Science |
| General subdivision |
School of Pure and Applied Sciences |
|
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| Source of heading or term |
Computer Science |
| General subdivision |
School of Pure and Applied Sciences |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Clarke, Edmund M., |
| Titles and other words associated with a name |
Jr. |
| Fuller form of name |
(Edmund Melson), |
| Dates associated with a name |
1945-2020. |
|
|---|
| Personal name |
Voronkov, Andrei, |
| Dates associated with a name |
1959- |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6355. |
|
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
|
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 7, |
| Name of part/section of a work |
Artificial intelligence. |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
copycat |
| d |
2 |
| e |
ncip |
| f |
20 |
| g |
y-gencatlg |
| 936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
|---|
| OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
PR 700051427 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Long Loan Book |
