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
|