Computation as logic / René Lalement ; translated by John Plaice.
| Author/creator | Lalement, René |
| Format | Book |
| Publication Info | Paris : Masson ; Hemel, Hempstead ; Englewood Cliffs, NJ : Prentice Hall, ©1993. |
| Description | xi, 387 pages ; 25 cm. |
| Subjects |
| Uniform title | Lōgic, réduction, résolution. English |
| Series | Prentice-Hall International Series in computer science Prentice-Hall international series in computer science. ^A117347 |
| Bibliography note | Includes bibliographical references (p. 370-377) and index. |
| LCCN | 92045893 |
| ISBN | 0137700091 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.63 .L3515 1993 | ✔ Available | Place Hold |