Deontic logic - Congresses.

Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / by: (Language materials, printed)

Mathematical Logic and Formal Languages.

Deontic logic

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer logic

Computer Appl. in Administrative Data Processing.

Computer Science.

Discrete Mathematics in Computer Science.