MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08150cam a2201117 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn150398402 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143538.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 ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
060821s1993 gw a ob 100 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| Canceled/invalid LC control number |
93243523 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NLGGC |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
NLGGC |
| Modifying agency |
OCLCO |
| -- |
CUSER |
| -- |
KIJ |
| -- |
C$Q |
| -- |
GW5XE |
| -- |
OCLCA |
| -- |
GW5XE |
| -- |
ITD |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
TFW |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCE |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
CAUOI |
| -- |
INARC |
| -- |
OCLCO |
| 019 ## - |
|---|
| -- |
321334071 |
| -- |
827360305 |
| -- |
1005748969 |
| -- |
1081178893 |
| -- |
1152978680 |
| -- |
1162748315 |
| -- |
1292180787 |
| -- |
1321039341 |
| -- |
1335733936 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540478300 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540478302 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540569448 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540569442 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540569442 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387569448 |
| Qualifying information |
(New York) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387569444 |
| Qualifying information |
(New York) |
| 029 0# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296872709 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058030245 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15580595 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)150398402 |
| Canceled/invalid control number |
(OCoLC)321334071 |
| -- |
(OCoLC)827360305 |
| -- |
(OCoLC)1005748969 |
| -- |
(OCoLC)1081178893 |
| -- |
(OCoLC)1152978680 |
| -- |
(OCoLC)1162748315 |
| -- |
(OCoLC)1292180787 |
| -- |
(OCoLC)1321039341 |
| -- |
(OCoLC)1335733936 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.63 |
| Item number |
.I55 1993 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.72 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.71 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
*00B25 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68-06 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68N17 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68T15 |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
68T27 |
| Number source |
msc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
LPAR (Conference) |
| Number of part/section/meeting |
(4th : |
| Date of meeting |
1993 : |
| Location of meeting |
Saint Petersburg, Russia) |
| 9 (RLIN) |
21081 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic programming and automated reasoning : |
| Remainder of title |
4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / |
| Statement of responsibility, etc. |
Andrei Voronkov (ed.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
LPAR '93 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin : |
| Name of producer, publisher, distributor, manufacturer |
SpringerVerlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1993. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (XIII, 386 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
698. |
| Series statement |
Lecture notes in artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed October 16, 2013). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science." |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Entailment and disentailment of order-sorted feature constraints -- Computing extensions of default logic -- Preliminary report -- Prolog with arrays and bounded quantifications -- Linear 0-1 inequalities and extended clauses -- Search space pruning by checking dynamic term growth -- A proof search system for a modal substructural logic based on labelled deductive systems -- Consistency checking of automata functional specifications -- Yet another application for Toupie: Verification of mutual exclusion algorithms -- Parsing with DCG-terms -- A first order resolution calculus with symmetries -- Ordered paramodulation and resolution as decision procedure -- Static analysis of Prolog with cut -- A new type theory for representing logics -- Verification of Switch-level designs with many-valued logic -- Deciding in HFS-theory via linear integer programming -- The completion of typed logic programs and SLDNF-resolution -- Increasing the versatility of heuristic based theorem provers -- Sequentialization of parallel logic programs with mode analysis -- Refinements and extensions of model elimination -- Executable specifications based on dynamic algebras -- Generic resolution in propositional modal systems -- Optimized translation of multi modal logic into predicate logic -- Default reasoning with a constraint resolution principle -- Non-clausal deductive techniques for computing prime implicants and prime implicates -- Unification under one-sided distributivity with a multiplicative unit -- Unification in Order-Sorted Logic with Term Declarations -- Extracting inheritance hierarchies from Prolog programs: A system based on the inference of type relations -- A comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems -- Neutralization and preemption in extended logic programs -- MULTLOG: A system for axiomatizing many-valued logics -- SKIL: A system for programming with proofs -- Reasoning about the reals: the marriage of HOL and maple -- System description of LAMBDALG -- Mixing metafor -- A complete axiom system for isomorphism of types in closed categories -- Reasoning, modeling, and component-based technology. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified]: |
| Agency responsible for reproduction |
HathiTrust Digital Library. |
| Date of reproduction |
2022. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2022. |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic |
| General subdivision |
Symbolic and mathematical. |
| 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 |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14919 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| General subdivision |
Congresses. |
| 9 (RLIN) |
966929 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| General subdivision |
Congresses. |
| 9 (RLIN) |
966928 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 9 (RLIN) |
1341 |
| 650 #1 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving. |
| 9 (RLIN) |
14923 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic Data Processing |
| 9 (RLIN) |
6665 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial Intelligence |
| 9 (RLIN) |
1340 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation logique |
| General subdivision |
Congrès. |
| 9 (RLIN) |
14822 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorèmes |
| General subdivision |
Démonstration automatique |
| -- |
Congrès. |
| 9 (RLIN) |
14928 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| 9 (RLIN) |
14930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle. |
| 9 (RLIN) |
15884 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique. |
| 9 (RLIN) |
11864 |
| 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 |
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 |
aat |
| 9 (RLIN) |
1340 |
| 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 |
| 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 |
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 |
Computer science |
| Source of heading or term |
fast |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Source of heading or term |
fast |
| 9 (RLIN) |
1341 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatische bewijsvoering. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
14926 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logisch programmeren. |
| Source of heading or term |
gtt |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Linguagens Formais E Automatos. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
20615 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| General subdivision |
Congresses. |
| Source of heading or term |
nli |
| 9 (RLIN) |
966928 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| General subdivision |
Congresses. |
| Source of heading or term |
nli |
| 9 (RLIN) |
966929 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation logique. |
| Source of heading or term |
ram |
| 9 (RLIN) |
17686 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorèmes |
| General subdivision |
Démonstration automatique. |
| Source of heading or term |
ram |
| 9 (RLIN) |
15071 |
| 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 |
Congressen (vorm) |
| Source of term |
gtt |
| 9 (RLIN) |
8970 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Voronkov, Andrei, |
| Dates associated with a name |
1959- |
| Relator code |
edt |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJcgthTcG6JvmR8d8V6xjC |
| 9 (RLIN) |
16227 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Logic programming and automated reasoning |
| Record control number |
(NLLeOCL)109099613 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
698. |
| International Standard Serial Number |
0302-9743 |
| 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-56944-8">https://link.springer.com/10.1007/3-540-56944-8</a> |
| 938 ## - |
|---|
| -- |
Internet Archive |
| -- |
INAR |
| -- |
logicprogramming0000lpar_w6y7 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |