Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings - LPAR (Conference) 2006 : Phnom Penh, Cambodia); Hermann, Miki, 1958-; Voronkov, A. (Andreĭ), 1959- (Berlin ; New York : Springer, 2006)
Includes bibliographical references and index.
Keywords: Logic programming -- Congresses; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses