Regulatory conformance checking : logic and logical form

著者

• Dinesh, Nikhil

書誌事項

Regulatory conformance checking : logic and logical form

Nikhil Dinesh

UMI Dissertation Pub. , ProQuest LLC, c2011

注記

Reprint of the author's thesis (Ph. D.)--University of Pennsylvania, 2010

Bibliography: p. 235-249

UMI no.: 3447557

詳細情報

• NII書誌ID(NCID): BB11908888
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Ann Arbor, Mich.],Ann Arbor, Mich.
• ページ数/冊数: xv, 249 p.
• 大きさ: 29 cm
• 件名:
  • FREE : modal logic
  • FREE : access control
  • FREE : conformance
  • FREE : deontic logic
  • FREE : logical form
  • FREE : scope
  • FREE : Logic and foundations of mathematics
  • FREE : Other Computer Engineering
  • FREE : Semantics and Pragmatics
  • FREE : text