The DLV System for Knowledge Representation and Reasoning

Bibliografiset tiedot
Päätekijät: Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F
Aineistotyyppi: Journal article
Julkaistu: 2002