Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings - LPAR (Conference) 2003 : Alma-Ata, Kazakhstan); Vardi, Moshe Y.; Voronkov, A. (Andreĭ), 1959- (Berlin ; New York : Springer, 2003)
Includes bibliographical references and index.
Keywords: Logic programming -- Congresses; Automatic theorem proving -- Congresses