Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, proceedings /

由 International Conference on Deontic Logic in Computer Science, Agotnes, Thomas., Broersen, Jan., Elgesem, Dag.
出版 2012

Deontic logic in computer science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /

由 International Conference on Deontic Logic in Computer Science, Van der Meyden, Ron., Torre, Leendert van der
出版 c200