MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04763cam a2200805 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn645354511 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703155723.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 bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100630s1990 gw a ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
CUSER |
| -- |
OCLCO |
| -- |
GW5XE |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCO |
| -- |
AU@ |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCA |
| 019 ## - |
|---|
| -- |
150398793 |
| -- |
321345894 |
| -- |
1005781412 |
| -- |
1081205329 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540471639 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540471634 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540528377 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540528371 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387528377 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387528373 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012390 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296875112 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15300597 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000069750629 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)645354511 |
| Canceled/invalid control number |
(OCoLC)150398793 |
| -- |
(OCoLC)321345894 |
| -- |
(OCoLC)1005781412 |
| -- |
(OCoLC)1081205329 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.63 |
| Item number |
.P58 1990 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Plümer, Lutz. |
| 9 (RLIN) |
38582 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Termination proofs for logic programs / |
| Statement of responsibility, etc. |
Lutz Plümer. |
| 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-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1990. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 142 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 ; |
| Volume/sequential designation |
446. |
| Series statement |
Lecture notes in artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 132-139) and index. |
| 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 |
2010. |
| 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 |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Basic notions -- Static program properties and transformations -- Terminating logic programs -- The problem of local variables -- And/or dataflow graphs -- A termination proof procedure -- Integration of unfolding techniques -- Conclusions. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming. |
| 9 (RLIN) |
6178 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 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. |
| 9 (RLIN) |
17686 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle. |
| 9 (RLIN) |
15884 |
| 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 |
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 |
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 |
Logische Programmierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
19535 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Terminierung |
| Miscellaneous information |
Informatik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38586 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatisches Beweisverfahren |
| Source of heading or term |
gnd |
| 9 (RLIN) |
14924 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Halteproblem |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38587 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kontrolltheorie |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38588 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Beweis |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38589 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logisch programmeren. |
| Source of heading or term |
gtt |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programma-generatoren. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
38584 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Recursie. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
38585 |
| 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 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Plümer, Lutz. |
| Title |
Termination proofs for logic programs. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1990 |
| Record control number |
(DLC) 90010556 |
| -- |
(OCoLC)21948716 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
446. |
| 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-52837-7">https://link.springer.com/10.1007/3-540-52837-7</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |