Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, Lpar-16, Dakar, Senegal, April 25-may 1, 2010, Revised Selected Papers
ISBN: 9783642175114
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.