TY  - GEN
TY  - GEN
T1  - Deontic logic in computer science : normative system specification
A2  - Meyer, John-Jules Ch
LA  - eng
PP  - Chichester
PB  - Wiley
YR  - 1993
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.1734992
SN  - 0-471-93743-6
KW  - deonttinen logiikka
KW  - logiikka
KW  - tietojenkäsittelyoppi
ER  -