Imagen Principal
1 2

Knowledge Representation and Reasoning: Answer-Set Programming Approach by Michael Gelfond

Imagen ampliada