Record:   Prev Next
書名 Deontic logic in computer science : normative system specification / edited by J.-J. Meyer and Roel J. Wieringa
出版項 Chichester ; New York : J. Wiley, c1993
國際標準書號 0471937436 : $47.95
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 D418    在架上    30330000095526
說明 xiv, 317 p. ; 26 cm
附註 "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"--
Includes bibliographical references and index
主題 Computer science -- Congresses
Deontic logic -- Congresses
Philosophical logic iisf
Mathematical logic iis
Artificial intelligence iis
Alt Author Meyer, J.-J. (John-Jules)
Wieringa, Roel J
International Workshop on Deontic Logic in Computer Science (1st : 1991 : Amsterdam, Netherlands)
Record:   Prev Next