Governatori, Guido.
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / [electronic resource] : edited by Guido Governatori, Giovanni Sartor. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6181 0302-9743 ; . - Lecture Notes in Computer Science, 6181 .
9783642141836
10.1007/978-3-642-14183-6 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematics of Computing.
Q334-342 TJ210.2-211.495
006.3
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / [electronic resource] : edited by Guido Governatori, Giovanni Sartor. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6181 0302-9743 ; . - Lecture Notes in Computer Science, 6181 .
9783642141836
10.1007/978-3-642-14183-6 doi
Computer science.
Logic design.
Computational complexity.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematics of Computing.
Q334-342 TJ210.2-211.495
006.3