Logic for programming, artificial intelligence, and reasoning
Subtitle: 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
By: Franz Baader, Andrei Voronkov (eds.).
Contributors: Baader, Franz.; Voronkov, A. 1959-
Series: Lecture notes in computer science,; 3452.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 3452.; Lecture notes in computer science.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 562
Subjects: Logic programming -- Congresses.; Automatic theorem proving -- Congresses.; Artificial intelligence -- Congresses.
Genres: Congresses.
Other titles: LPAR 2004
Notes: Includes bibliographical references and index.
Also issued online.