Complexity and Expressive Power of Logic Programming

Bibliographische Detailangaben
Hauptverfasser: Dantsin, E, Eiter, T, Gottlob, G, Voronkov, A
Format: Conference item
Veröffentlicht: 1997