Research Catalog
Logic programming : formal methods and practical applications
- Title
- Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer.
- Publication
- Amsterdam ; New York : Elsevier, 1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 95-905 | Offsite |
Details
- Additional Authors
- Description
- xiv, 404 p. : ill.; 25 cm.
- Series Statement
- Studies in computer science and artificial intelligence ; 11
- Subject
- Bibliography (note)
- Includes bibliographies.
- Call Number
- JSE 95-905
- ISBN
- 0444820922
- LCCN
- gb 95008947
- OCLC
- 32199446
- Title
- Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer.
- Imprint
- Amsterdam ; New York : Elsevier, 1995.
- Series
- Studies in computer science and artificial intelligence ; 11
- Bibliography
- Includes bibliographies.
- Added Author
- Beierle, Christoph.Plümer, Lutz.
- Research Call Number
- JSE 95-905