Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader (Editor), Andrei Voronkov (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this