,

An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation

, и .
Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), том 5113 из Lecture Notes in Computer Science, стр. 119-132. Springer, (2008)

Метаданные

тэги

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

  • @iccs

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