中图分类法:
|
TP3-532 版次: |
题名:
|
Deontic Logic in Computer Science : [ 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /] / , |
其它题名:
|
[Delta] EON 2008 |
其它题名:
|
DEON 2008 |
出版发行:
|
出版地: Berlin ; 出版社: Springer, 出版日期: 2008. |
载体形态:
|
x, 277 p. : ill. ; 24 cm. |
主题词:
|
Deontic logic |
主题词:
|
Computer science |
主要责任者:
|
Van der Meyden, Ron, |
主要责任者:
|
Torre, Leendert van der. |