@dblp

A Free Logic for Stable Models with Partial Intensional Functions.

, , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2014)

Links und Ressourcen

Tags