Logic for programming, artificial intelligence, and reasoning
Subtitle: 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
By: Christian G. Fermüller, Andrei Voronkov (eds.).
Contributors: Fermüller, C. (Christian), 1963-; Voronkov, A. (Andreĭ), 1959-
Series: Lecture notes in computer science -- 6397; Advanced research in computing and software science; Lecture notes in computer science -- 6397.; Lecture notes in computer science
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 656
ISBN-13: 9783642162411
Subjects: Logic programming; Congresses; Artificial intelligence; Automatic theorem proving
Notes: Includes bibliographical references and index.

Also issued online.