Logic for programming, artificial intelligence, and reasoning
Subtitle: 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
By: Nachum Dershowitz, Andrei Voronkov (eds.).
Contributors: Dershowitz, Nachum.; Voronkov, A. 1959-
Series: Lecture notes in computer science -- 4790. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4790.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 562
ISBN-13: 9783540755586
Subjects: Logic programming -- Congresses; Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses
Genres: Congresses.
Other titles: LPAR 2007.
Notes: Includes bibliographical references and index.