Deontic logic in computer science : normative system specification
edited by John-Jules Ch. Meyer and Roel J. Wieringa
Bok
·
Engelsk
·1993
Detaljer
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