Location & Availability for: Deontic Logic in Computer Science : 11th

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Ågotnes, Thomas. | Broersen, Jan. | Elgesem, Dag.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Deontic Logic in Computer Science : 11th