Research Catalog
Termination proofs for logic programs
- Title
- Termination proofs for logic programs / Lutz Plümer.
- Author
- Plümer, Lutz
- Publication
- Berlin ; New York : Springer-Verlag, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSF 90-942 | Offsite |
Details
- Description
- 142 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 446. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 446.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Includes bibliographical references (p. [132]-139).
- Call Number
- JSF 90-942
- ISBN
- 3540528377 (Springer-Verlag Berlin Heidelberg New York)
- 0387528377 (Springer-Verlag New York Berlin Heidelberg)
- LCCN
- 90010556
- OCLC
- NYPG90-B93597
- Author
- Plümer, Lutz.
- Title
- Termination proofs for logic programs / Lutz Plümer.
- Imprint
- Berlin ; New York : Springer-Verlag, c1990.
- Series
- Lecture notes in computer science ; 446. Lecture notes in artificial intelligenceLecture notes in computer science ; 446.Lecture notes in computer science. Lecture notes in artificial intelligence.
- Bibliography
- Includes bibliographical references (p. [132]-139).
- Research Call Number
- JSF 90-942