• RecordNumber
    24100
  • Title

    Deontic logic in computer science : normative system specification

  • Author Statement
    edited by J.-J. Meyer
  • Publication
    J. Wiley
  • Publication Year
    1993
  • Collation
    xiv,317p
  • Notes
    0741937436 , Includes bibliographical references and index , Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on Dec
  • Subject

    Deontic logic , Computer science

  • ADDED ENTRIES
    Meyer, John-Jules ,
  • LC Class
    QA
  • LC Number
    75.5
  • LC CutterNumber
    .D46
  • LC Date
    1993