Research Catalog
Deduction and declarative programming
- Title
- Deduction and declarative programming / Peter Padawitz.
- Author
- Padawitz, Peter, 1953-
- 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 | QA76.615 .P33 1992 | Off-site |
Holdings
Details
- Description
- vi, 279 pages; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 28
- Uniform Title
- Cambridge tracts in theoretical computer science ; 28.
- Subject
- Declarative programming
- Bibliography (note)
- Includes bibliographical references (p. [269]-274) and index.
- ISBN
- 0521417236
- LCCN
- 92253188
- OCLC
- 27201723
- ocm27201723
- Owning Institutions
- Columbia University Libraries