Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings - LPAR 2004 (2005 : Montevideo, Uruguay).; Voronkov, Andrei (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Logic programming -- Congresses; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses