Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings - LPAR (Conference) 2005 : Montevideo, Uruguay); Baader, Franz; Voronkov, A. (Andreĭ), 1959- (Berlin ; New York : Springer, 2005)
Includes bibliographical references and index.
Also issued online.
Keywords: Logic programming -- Congresses; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses