中图分类法:
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.