Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Iliano Cervesato (Editor), Helmut Veith (Editor), Andrei Voronkov (Editor)

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

    Cite this