,

Eliminating Negation from Normal Logic Programs.

, и .
ALP, том 463 из Lecture Notes in Computer Science, стр. 217-231. Springer, (1990)

Метаданные

тэги

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

  • @dblp

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