Deduction and declarative programming / Peter Padawitz.
| Author/creator | Padawitz, Peter, 1953- |
| Format | Book |
| Publication Info | Cambridge ; New York : Cambridge University Press, 1992. |
| Description | vi, 279 pages ; 26 cm. |
| Subjects |
| Series | Cambridge tracts in theoretical computer science ; 28 Cambridge tracts in theoretical computer science ; 28. ^A221007 |
| Bibliography note | Includes bibliographical references (p. [269]-274) and index. |
| LCCN | 92253188 |
| ISBN | 0521417236 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.615.P33 1992 | ✔ Available | Place Hold |