Deontic logic in computer science : normative system specification
edited by John-Jules Ch. Meyer and Roel J. Wieringa
Bok Engelsk 1993
| Utgitt | Chichester : Wiley , c1993
|
|---|---|
| Omfang | xiv, 317 s. : fig.
|
| Opplysninger | "... 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" - Forordet
|
| Emner | Computer science - Congresses
Deontic logic - Congresses Logikkprogrammering deontisk logikk databehandling logisk programmering kongresser form informasjonsteknologi |
| ISBN | 0471937436
|
