Hypergraph Transversal Computation and Related Problems in Logic and AI

Bibliografiske detaljer
Main Authors: Eiter, T, Gottlob, G
Format: Conference item
Udgivet: Springer 2002