Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010.

Saved in:
Bibliographic Details
Main Authors LPAR, Clarke, Edmund, Voronkov, A. (Andreĭ)
Format eBook Book
LanguageEnglish
Published Netherlands Springer Nature 2010
Springer
Springer Berlin / Heidelberg
Edition1
SeriesLecture notes in computer science. Lecture notes in artificial intelligence
Subjects
Artificial intelligence
Artificial intelligence > Congresses
Automatic theorem proving
Automatic theorem proving > Congresses
Congresses
Logic programming
Logic programming > Congresses
Special computer methods
Online AccessGet full text

Cover

More Information
Summary:This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010.
Bibliography:Includes bibliographical references and author index
"LNCS sublibrary: SL 7-artificial intelligence" -- T.p. verso
ISBN:9783642175114
3642175112
9783642175107
3642175104