Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Moshe Y Vardi (Editor), Andrei Voronkov (Editor)

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

    Cite this