×
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
herausgegeben von Franz Baader und Andrei VoronkovIncludes supplementary material: sn. pub/extras