Hypergraph Transversal Computation and Related Problems in Logic and AI

Bibliographische Detailangaben
Hauptverfasser: Eiter, T, Gottlob, G
Format: Conference item
Veröffentlicht: Springer 2002