Research Catalog
Deontic logic in computer science : normative system specification
- Title
- Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
- Publication
- Chichester ; New York : J. Wiley, c1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 94-460 | Offsite |
Details
- Additional Authors
- Description
- xiv, 317 p. : ill.; 25 cm.
- Subjects
- 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.
- Call Number
- JSF 94-460
- ISBN
- 0471937436
- LCCN
- 93008781
- OCLC
- 28255758
- NYPG94-B19196
- Title
- Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
- Imprint
- Chichester ; New York : J. Wiley, c1993.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Meyer, J.-J. (John-Jules)Wieringa, Roel.International Workshop on Deontic Logic in Computer Science (1st : 1991 : Amsterdam, Netherlands)
- Research Call Number
- JSF 94-460