Ågotnes, Thomas. <br/><br/>
Deontic Logic in Computer Science  11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / 
edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642315701 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.