Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe (Editor), Andrei Voronkov (Editor)

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

    Cite this