MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06247cam a22008054a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm51115182 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703142929.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
020925s2002 gw a ob 101 0 eng c |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
HNK |
| -- |
BAKER |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCA |
| -- |
GW5XE |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NUI |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
BUF |
| -- |
OCLCA |
| -- |
LEAUB |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
INT |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
150396134 |
| -- |
664271680 |
| -- |
768063545 |
| -- |
935290745 |
| -- |
1044518004 |
| -- |
1374608652 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540360780 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540360786 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540000100 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540000105 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9788354036074 |
| Qualifying information |
(0) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
8354036073 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-36078-6 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051331865 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296855588 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14991276 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296062 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999890059405765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)51115182 |
| Canceled/invalid control number |
(OCoLC)150396134 |
| -- |
(OCoLC)664271680 |
| -- |
(OCoLC)768063545 |
| -- |
(OCoLC)935290745 |
| -- |
(OCoLC)1044518004 |
| -- |
(OCoLC)1374608652 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.63 |
| Item number |
.L735 2002 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
21 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
LPAR 2002 |
| Date of meeting |
(2002 : |
| Location of meeting |
Tʻbilisi, Georgia) |
| 9 (RLIN) |
17193 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic for programming, artificial intelligence, and reasoning : |
| Remainder of title |
9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / |
| Statement of responsibility, etc. |
Matthias Baaz, 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. |
©2002. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 463 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
2514. |
| Series statement |
Lecture notes in artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language -- Maintenance of Formal Software Developments by Stratified Verification -- A Note on Universal Measures for Weak Implicit Computational Complexity -- Extending Compositional Message Sequence Graphs -- Searching for Invariants Using Temporal Resolution -- Proof Planning for Feature Interactions: A Preliminary Report -- An Extension of BDICTL with Functional Dependencies and Components -- Binding Logic: Proofs and Models -- Directed Automated Theorem Proving -- A Framework for Splitting BDI Agents -- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics -- Using BDDs with Combinations of Theories -- On Expressive Description Logics with Composition of Roles in Number Restrictions -- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation -- A Non-commutative Extension of MELL -- Procedural Semantics for Fuzzy Disjunctive Programs -- Pushdown Specifications -- Theorem Proving with Sequence Variables and Flexible Arity Symbols -- Games, Probability, and the Quantitative?-Calculus qM? -- Parallelism and Tree Regular Constraints -- Gödel Logics and Cantor-Bendixon Analysis -- A Semantics for Proof Plans with Applications to Interactive Proof Planning -- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction -- Proof Development with?MEGA:?2 Is Irrational -- A Local System for Linear Logic -- Investigating Type-Certifying Compilation with Isabelle -- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions -- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics -- Fuzzy Prolog: A Simple General Implementation Using (R). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14819 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14919 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation logique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14820 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17678 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorèmes |
| General subdivision |
Démonstration automatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14921 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
fast |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Source of heading or term |
fast |
| 9 (RLIN) |
14923 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Source of heading or term |
fast |
| 9 (RLIN) |
6178 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Baaz, Matthias. |
| 9 (RLIN) |
17195 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Voronkov, Andrei, |
| Dates associated with a name |
1959- |
| 9 (RLIN) |
16227 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Logic for programming, artificial intelligence, and reasoning (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFv3bxRrqWH7xQVqCtDMMX |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version:LPAR 2002 (2002 : TZ̐̌Z̐̌bilisi, Georgia) |
| Title |
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings |
| Record control number |
(OCoLC)50693211 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2514. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-36078-6">https://link.springer.com/10.1007/3-540-36078-6</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20752654 |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
82.95 |
| -- |
82.95 |
| -- |
3540000100 |
| -- |
0004088093 |
| -- |
active |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3071544 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |