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