Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Description
This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.
Keywords
ComputersArtificial IntelligenceProgrammingCompilersComputer ScienceInformation TechnologyLogic DesignLanguagesSoftware Development & EngineeringMathematicsDiscrete MathematicsLogic
2010Book
Author(s)LPAR (Conference) (17th 2010 Yogyakarta, Indonesia)
PublisherSpringer Science & Business Media
ISBN9783642162411
LanguageEnglish
