Research Catalog
Logic programming : operational semantics and proof theory
- Title
- Logic programming : operational semantics and proof theory / James H. Andrews.
- Author
- Andrews, James H.
- Publication
- Cambridge ; New York : Cambridge University Press, 1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 93-810 | Offsite |
Details
- Description
- xi, 104 p. : ill.; 26 cm.
- Series Statement
- Distinguished dissertations in computer science
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 89-94) and index.
- Call Number
- JSF 93-810
- ISBN
- 0521432197
- LCCN
- 93166788
- OCLC
- 29027093
- NYPG93-B20863
- Author
- Andrews, James H.
- Title
- Logic programming : operational semantics and proof theory / James H. Andrews.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1992.
- Series
- Distinguished dissertations in computer science
- Bibliography
- Includes bibliographical references (p. 89-94) and index.
- Research Call Number
- JSF 93-810