Logic for programming, artificial intelligence, and reasoning
Subtitle: 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
By: Robert Nieuwenhuis, Andrei Voronkov (eds.).
Contributors: Nieuwenhuis, Robert.; Voronkov, A. 1959-
Series: Lecture notes in computer science ;; 2250.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 2250.; Lecture notes in computer science.
Publisher: Springer
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 738
Subjects: Logic programming -- Congresses; Artificial intelligence -- Congresses; Automatic theorem proving -- Congresses
Genres: Congresses.
Other titles: LPAR 2001
Notes: Includes bibliographical references and index.