Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
| Other author | Meyer, J.-J. (John-Jules) |
| Other author | Wieringa, Roel. |
| Other author | International Workshop on Deontic Logic in Computer Science Amsterdam, Netherlands : 1991) |
| Format | Book |
| Publication Info | Chichester ; New York : J. Wiley, ©1993. |
| Description | xiv, 317 pages : illustrations ; 25 cm |
| Subjects |
| General note | "Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991"-- |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 93008781 |
| ISBN | 0471937436 : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA75.5 .D46 1993 | ✔ Available | Place Hold |