,

A Free Logic for Stable Models with Partial Intensional Functions.

, , , и .
JELIA, том 8761 из Lecture Notes in Computer Science, стр. 340-354. Springer, (2014)

Метаданные

тэги

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

  • @dblp

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