,

Automated Reasoning in Deontic Logic.

, , и .
MIWAI, том 8875 из Lecture Notes in Computer Science, стр. 57-68. Springer, (2014)

Метаданные

тэги

Пользователи данного ресурса

  • @cschon
  • @dblp

Комментарии и рецензии