Ågotnes, Thomas., Broersen, Jan.Elgesem, Dag. (Eds.) () Deontic Logic in Computer Science11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem.
|Names:||Ågotnes, Thomas. | Broersen, Jan. | Elgesem, Dag.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7393
|Topics:||Computer science. | Logic design. | Computational complexity. | Artificial intelligence. | Information systems. | Computer Science. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Logics and Meanings of Programs. | Computer Appl. in Administrative Data Processing. | Programming Techniques. | Discrete Mathematics in Computer Science.|