Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings - LPAR (Conference) 2005 : Montego Bay, Jamaica); Sutcliffe, Geoff; 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