Research Catalog
Computing in Horn clause theories
- Title
- Computing in Horn clause theories / Peter Padawitz.
- Author
- Padawitz, Peter, 1953-
- Publication
- Berlin ; New York : Springer-Verlag, c1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 88-828 | Offsite |
Details
- Description
- xi, 322 p. : ill.; 25 cm.
- Series Statement
- EATCS monographs on theoretical computer science ; v. 16
- Subject
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: p. [307]-316.
- Call Number
- JSE 88-828
- ISBN
- 0387194274 (U.S.)
- 3540194274 (Berlin)
- LCCN
- 88020024
- OCLC
- 18136211
- NYPG88-B96030
- Author
- Padawitz, Peter, 1953-
- Title
- Computing in Horn clause theories / Peter Padawitz.
- Imprint
- Berlin ; New York : Springer-Verlag, c1988.
- Series
- EATCS monographs on theoretical computer science ; v. 16
- Bibliography
- Bibliography: p. [307]-316.
- Research Call Number
- JSE 88-828