TY  - BOOK
AU  - Ågotnes,Thomas
AU  - Broersen,Jan
AU  - Elgesem,Dag
TI  - Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings 
SN  - 9783642315701
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer programming
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
KW  - Artificial intelligence
KW  - Application software
UR  - http://dx.doi.org/10.1007/978-3-642-31570-1
ER  -